Rchr
J-GLOBAL ID：201101008178202348   Update date: Oct. 04, 2011

weitl

weitl
Affiliation and department：
National Institute of Informatics, Tokyo DAAD - Research at International Science and Technology Centers

About National Institute of Informatics, Tokyo DAAD - Research at International Science and Technology Centers


Job title： Visiting Researcher, Host: Prof. Shin Nakajima Ph.D.
Homepage URL  (1)： http://www.im.uni-passau.de/db/personen?who=weitl
Research field  (1)： Software
Research keywords  (5)： Counterexample Generation ,  Temporal Description Logics ,  Verification of Information Systems ,  Model Checking ,  Formal Methods
Papers (1)：
  • weitl. see http://www.im.uni-passau.de/db/literatur?who=weitl
Professional career (1)：
  • Dr. rer. nat.
Work history (6)：
  • 2009/09 - National Institute of Informatics, Tokyo: DAAD Visiting Researcher
  • 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)
Show all
Awards (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)
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM