欢迎担任计算机体系结构主席

过渡后到Armin Biere教授这个前一张椅子的主页Bernd Becker教授
有关计算机体系结构的信息，请访问https://ira.informationk.uni-freiburg.de.

新闻

• 基萨特获胜三枚金牌在2024年SAT竞赛

• 赫布兰德奖2024年将阿明·比尔

• 2024年硬件模型检查竞赛（HWMCC’24）带FMCAD’24

• 第一次报告SAT博物馆包含网页、解算器和详细结果

• 10月10日星期二14:00丹尼尔·克罗宁在“AWS的自动推理”

• DAC 20世纪90年代最具影响力论文第60次DAC’23我们的DAC’99论文
  使用SAT程序代替BDD进行符号模型检查
  A.Biere、A.Cimatti、E.M.Clarke、M.Fujita和Y.Zhu

• 两个奖牌在中2023年SAT竞赛对于钙DiCaL_vivinst通过弗洛里安·波利特

• 及时测试奖在2013年夏令时为我们的SAT’04论文
  解析和展开由Armin Biere于Quantor公司

• 高亮显示的纸张在2013年夏令时
  IPASIR-Up:CDCL的用户传播器通过
  K.Fazekas、A.Niemetz、M.Preiner、M.Kirchweger、S.Szeider、A.Biere
  与TU Wien和斯坦福大学联合工作

• 受邀演讲Martina Seidl教授在超越NP：用量化布尔公式进行推理,
  2023年4月20日星期四，09:00-10:00，TF Geb。101 SR 2-16/18号

• 26.zu Methoden und Beschreibungsprachen zur研讨会Modellierung und公司
  验证von Schaltungen und Systemen（MBMV'23）

使命

我们开发方法和工具以确保正确性、可靠性和电路和系统的鲁棒性，从初始设计到制造和部署。

我们的重点是使用逻辑，更准确地说是符号技术和工具用于精确的自动推理，包括SAT、模型检查和定理证明。

这些技术不仅在硬件和软件开发和一般验证以及优化尤其是人工智能。