信息 哈拉尔德·费彻 哈拉尔德·费彻 fecher@informatik.uni-freiburg.de 教育 我毕业于达姆施塔特技术大学数学系，德国，1999年。2003年，我在德国曼海姆大学。此后，我在德国基尔大学。2007年，我在伦敦帝国理工学院（Imperial College London）支付我的研究津贴。发件人2008年我在AVACS公司弗赖堡大学的项目。 研究 模型检查、抽象、实时、分支时间、形式语义、UML状态机、过程代数 出版物 教学 WS08：讲座网络化和分布式系统的形式化技术 SS08：讲座《自动化与游戏》 自己的项目 改良主义
