期刊導航
您認為哪個是計算機科學中最有趣的研究領域？
我正在做的那個當然。
每個計算機科學家都應該給你答案。
如果我必須提出一個非亂倫的建議，我會選擇建構邏輯，范疇理論，同倫類型理論。
我認為這些領域現在非常有趣和“熱門”（正如現在正在取得很多進展。不像以前那樣，很多人關心它）。可悲的是，我對后兩者知之甚少。
編輯：如果你想知道我在做什么：我正在研究方法來檢查并發程序是否有錯誤，只測試單個線程的正確檢測代碼，而不是完整的程序。
到目前為止我所展示的是，多線程執行中可能發生的任何錯誤也可以通過執行來自無錯誤狀態的其中一個線程的確定性，單線程，正確檢測的代碼片段來找到。因此，不可能有一個你無法通過這種方法檢測到的錯誤（這并不意味著很容易找到觸發錯誤的初始狀態，而不是一般的測試）。
儀器設備源于注釋。該方法還會告訴您是否已正確注釋代碼。
我也在努力將這些結果擴展到具有弱內存模型的機器以及處理器正確性證明。
本站所有相關知識僅供大家參考、學習之用，部分來源于互聯網，其版權均歸原作者及網站所有，如無意侵犯您的權利，請與小編聯系，我們將會在第一時間核實并給予反饋。
提供云服務支持