Weitl Franz

weitl

所属機関・部署：
職名：外来研究員
ホームページURL (1件)： http://www.im.uni-passau.de/db/personen?who=weitl

研究分野 (1件)：ソフトウェア

研究キーワード (5件)： Counterexample Generation , Temporal Description Logics , Verification of Information Systems , Model Checking , Formal Methods

論文 (1件)：

学位 (1件)：

経歴 (6件)：

2009/09 - 国立情報学研究所
2008/06 - 2009/08 Chair of Information Management, University of Passau: Postdoc Researcher
2004/10 - 2008/06 Chair of Information Management, University of Passau: Research and Teaching Assistant
2001/05 - 2004/09 Institute for Information Systems and Software Engineering, University of Passau: Research Assistant
1996/10 - 2001/05 University of Passau: Informatics (Diplom)

全件表示

受賞 (2件)：

2009/11 - University of Passau: Dissertation award for distinctive young researchers of the University of Passau.
2009/02 - Faculty of Informatics and Mathematics, University of Passau: Nomination for the national dissertation award of the German association for computer science (Gesellschaft fuer Informatik)

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。