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-11) was last updated on Wednesday, 17. January 2018, 13:19 by Kaiser Dana
  • operated by