[ 出版物 |软件 |会谈 |办公室 |资源 |接触 |地址 ]

自2021年8月起Armin教授比雷正在领导计算机主席建筑在阿尔伯特·卢德维希大学弗赖堡在担任德国形式模型和验证在克卜勒大学位于奥地利林茨。

2000年至2004年间，他担任助理教授在计算机系科学类在苏黎世联邦理工大学,瑞士。1999年，比尔在一家初创公司工作作为Post-Doc一年后的电子设计自动化埃德蒙·克拉克在CMU公司1997年，美国匹兹堡年获得博士学位计算机科学从这个大学卡尔斯鲁厄，德国。

他的主要研究兴趣是应用形式化方法特别是硬件和软件的正式验证，使用以开发为重点的模型检查和相关技术高效的SAT和SMT求解器。他是超过220篇论文，并在超过160多个国际会议和研讨会。他最喜欢的有影响力的工作是他对有界模型检验的贡献。SAT、QBF和SMT的决策程序，由他或以下人员制定他的指导在许多国际比赛中名列前茅共获得96枚奖牌，其中包括55枚金牌。他是个接受者的2012年IBM教师奖，收到了TACAS公司2014年TACAS前20年最具影响力的论文奖项HVC’15奖过去五年最具影响力的正式作品验证、仿真和测试，的2017年ETAPS时间奖励测试，的2018年CAV奖、和这个IJCAI-JAIR公司2019年奖.

除了组织几次研讨会外，Armin Biere还是06年夏令时、和FMCAD'09年，是PC联合主席HVC’12,联合主席2014年、和担任联合主席墨西哥玉米饼'20.他在编辑委员会布尔可满足性期刊建模与计算（JSAT），的自动化杂志推理（JAR），的日志中的形式方法系统设计（FMSD）并担任《人工智能研究杂志（日航）.

他是该杂志的编辑手册可满足性并发起和组织硬件模型检查竞赛（HWMCC）2011-2017年担任主席，2017年至2020年担任SAT协会自2012年起关于FMCAD公司2006年Armin Biere联合创立下一个操作软件公司。被收购方Atrenta公司。2012年。

自2014年2月起Armin Biere教授充当椅子负责计算机科学的学生事务，帮助组织计算机科学博士课程。在同一时间在2015年5月之前，他还担任课程委员会（Studienkommissionsvorsitzender）计算机科学学士和硕士课程，因此负责招生和学分转让计算机科学学士和硕士课程。