期刊导航
您认为哪个是计算机科学中最有趣的研究领域？
我正在做的那个当然。
每个计算机科学家都应该给你答案。
如果我必须提出一个非乱伦的建议，我会选择建构逻辑，范畴理论，同伦类型理论。
我认为这些领域现在非常有趣和“热门”（正如现在正在取得很多进展。不像以前那样，很多人关心它）。可悲的是，我对后两者知之甚少。
编辑：如果你想知道我在做什么：我正在研究方法来检查并发程序是否有错误，只测试单个线程的正确检测代码，而不是完整的程序。
到目前为止我所展示的是，多线程执行中可能发生的任何错误也可以通过执行来自无错误状态的其中一个线程的确定性，单线程，正确检测的代码片段来找到。因此，不可能有一个你无法通过这种方法检测到的错误（这并不意味着很容易找到触发错误的初始状态，而不是一般的测试）。
仪器设备源于注释。该方法还会告诉您是否已正确注释代码。
我也在努力将这些结果扩展到具有弱内存模型的机器以及处理器正确性证明。
本站所有相关知识仅供大家参考、学习之用，部分来源于互联网，其版权均归原作者及网站所有，如无意侵犯您的权利，请与小编联系，我们将会在第一时间核实并给予反馈。
提供云服务支持