Franz Wotawa#


Franz Wotawa

Email:wotawa 'at' ist.TUGraz.at
Membership Number:3156
Membership type:ORDINARY
Main Country of Residence:AUSTRIA
Section:INFORMATICS
Username:fwotawa
Elected:2012
Homepage: http://www.ist.tugraz.at/wotawa




Present and Previous Positions

  • 2010- Dean, Faculty of Informatics, Graz University of Technology
  • 2004-2006 Dean of Studies for Computer Science, Graz University of Technology
  • 2003-2009 Head if Institute of Software Technology, Graz University of Technology
  • 2001 - Full Professor for Software Engineering, Graz University of Technology
  • 1996-2001 Assistant Professor, Vienna University of Technology
  • 1994-1996 Researcher at the Institute of Information systems, Vienna University of Technology

Fields of Scholarship

  • Model-based and qualitative reasoning
  • Theorem proving
  • Autonomous mobile robotics
  • Verification and validation
  • Software testing and debugging
  • Program repair

Honours and Awards
  • 2010 Congress Award for Organizing RoboCup 2009 in Graz, City of Graz, Austria
  • 2008 Best Paper Award for "Enhancing Plan Execution in Dynamic Domains Using Model-Based Reasoning", ICIRA
  • 2007 Best Paper Award for "Diagnosing Dependent Failures in the Hardware and Software of Mobile
  • Autonomous Robots", IEA/AIE
  • 2006 Best Paper Award for "UsingModel-Checkers forMutation-Based Test-Case Generation, Coverage
  • Analysis and Specification Analysis", ICSEA
  • 2005 RoboCup Engineering Award, Paper "Real-Time Diagnosis and Repair of Faults of Robot Control Software"
  • 2001 One of the outstanding papers of KI, "DiKe - A Model-based Diagnosis Kernel and its Application"
  • 2001 Best Paper Award for "Using Multiple Models for Debugging VHDL Designs", IEA/AIE

Imprint Privacy policy « This page (revision-7) was last updated on Tuesday, 2. October 2012, 22:11 by Kaiser Dana
  • operated by