Helmut Veith 1971-2016年![](https://www.vcla.at/wp-content/uploads/2016/03/helmutveith_whitebackground_resize_frame-215x300.png)
伴随着奥地利逻辑场景的重生,他所指导的学生以及他在计算机科学专家和外行之间架起桥梁的富有远见的活动进一步加强了他对领域、空间和时间的标记。
Helmut Veith是信息技术学院第页,共页维也纳理工大学 (维也纳理工大学)和一位副教授卡内基梅隆大学.赫尔穆特和理查德·扎克一起在TU Wien学习计算逻辑,这是一个他自己设计的课程。他获得了计算逻辑文凭和博士学位副前兆计算机科学专业维也纳工业大学在被任命到维也纳之前,他在达姆施塔特工业大学和慕尼黑工业大学.
赫尔穆特对逻辑的热爱使他不仅与斯特凡·谢德(Stefan Szeider)建立了维也纳逻辑与算法中心,还将历史上最大的逻辑会议——维也纳逻辑之夏(Vienna Summer of logic)带到了奥地利。赫尔穆特(Helmut)曾担任计算机科学博士学院逻辑方法(Doctoral College Logical Methods in Computer Science)的发言人,并担任国家严谨研究网络(National Research Network Rigorous)的副协调人
系统工程(RiSE)。
去世后,赫尔穆特因其项目HYDRA(Har-nessing Model Checking for Distributed Algorithms)获得了ERC高级奖学金,这是欧洲最高的学术荣誉之一。
为了纪念赫尔穆特倡导女性参与计算机科学,TU Wien、Wolfgang Pauli Institute以及赫尔穆特的朋友和同事资助了女硕士生Helmut Veith奖学金.
悼念赫尔穆特的讣告
葬礼致辞作者:Georg Gottlob
托马斯·艾特的讣告:德国的和英语
理查德·扎克的讣告(英语)
奥利弗·莱曼的讣告(英语)
弗洛里安·艾格纳的讣告(德语)
博士学院计算机科学逻辑方法学生的讣告(英语)
纪念小册子(俄语-英语)
Dana Scott关于Helmut的个人声明(视频录制,从48:40)
如果你有赫尔穆特(或他和他的朋友)的照片想与他人分享,请发送给安德烈亚·哈克尔(ta.alcv公司无效的@埃希福).
女硕士生Helmut Veith奖学金
为了纪念赫尔穆特,为支持有前途的学生设立了津贴。我们要求捐款。
Helmut Veith助学金可用于
- “Zentrum für Informatikforschung”,IBAN:AT36 1200 0515 8258 2701,BIC:BKAUATWW,参考:“Helmut Veith Stipend”
- 或通过PayPal使用信用卡
赫尔穆特·维思的遗产
![](https://www.vcla.at/wp-content/uploads/2018/07/MG_4571_305.jpg) Helmut Veith计算机科学女硕士研究生奖学金 |
![](https://www.vcla.at/wp-content/uploads/2011/08/logics-300x110.png) TU Wien的FWF资助博士学院 |
![](https://www.vcla.at/wp-content/uploads/2017/09/Logic-LoungeDana-Scott_by_Nadja-Meister_LogicLounge_FB.jpg) LogicLounge,科学家和公众研讨会。 |
![](https://www.vcla.at/wp-content/uploads/2013/11/VSL_logo_small.jpg) 吸引了2000多名科学家前往维也纳。 |