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