Barbara König是德国计算机科学家。她是杜伊斯堡大学工程学院理论计算机科学系主任。科尼于1990年至1995年在慕尼黑技术大学学习,并在计算机科学二系担任研究助理,直至2003年。1999年,她获得博士学位,并在Jürgen Eickel的指导下发表了一篇题为“使用图形重写技术描述和验证移动进程”的论文。2003年至2006年,她在斯图加特大学领导了一个艾美·诺伊特初级研究小组。基于她题为“具有动态演化结构的系统的分析和验证”的资格认证论文,她于2005年获得了威尼斯传奇奖。2006年,她接受了杜伊斯堡大学(University of Duisburg-Essen)的教授职位邀请,并担任杜伊斯堡校区工程学院理论计算机科学主席。

奖品

  • 2013年杜伊斯堡-埃森教学奖
  • 自2010年5月起,在德国研究基金会提名后成为AcademiaNet成员
利息
  • 图形变换
  • 验证和分析
  • 行为等价与余代数
  • 不动点方程

最新的