Franz Wotawa#
| Membership Number: | 3156 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 2012 |
| Main Country of Residence: | AUSTRIA |
| Homepage(s): | 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
