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-2015 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
  • 2016 Lifetime Achievement Award of the Intl. Diagnosis Community at the 27th International Workshop on Principles of Diagnosis, Denver, CO, USA, Oct. 2016.
  • 2015 Senior Member of the AAAI
  • 2015 Best Paper Award (Theory) for "From Theory to Practice: Model-Based Diagnosis in Industrial Applications. Annual Conference of the PHM Society (PHM-2015)
  • 2014 Best Paper Award for ”Comparing and improving dependency-based models for fault localization in spreadsheets”, The 25th International Workshop on Principles of Diagnosis (DX)
  • 2013 Best paper award for ”Mutation-based spreadsheet debugging”, The Fourth IEEE International Workshop on Program Debugging (IWPD)
  • 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-10) was last updated on Wednesday, 2. August 2017, 18:08 by Wotawa Franz
  • operated by