that's me
Ingo Pill, Dipl.-Ing. Dr.techn.
Institute for Software Technology
Graz University of Technology
Brueckenkopfgasse 1/1
8010 Graz, Austria

    Phone: ++43(0)316/873-5481
Secretary: ++43(0)316/873-5711
      Fax: ++43(0)316/873-5706
   E-Mail: ipill(at)ist.tugraz.at
      WWW: http://www.ist.tugraz.at/pill

Currently (until the end of October, 2009) I am a postdoc of Franz Wotawa at the Institute for Softwaretechnology, Faculty of Computer Science, Graz University of Technology. I received my Ph.D. in Computer Science from Graz University of Technology for my work in the scope of the PROSYD project under the supervision of Roderick Bloem. My research is related to computer aided, formal design and verification, where my interests cover property based design and verification methods, model-checking, automata-theory, and model-based diagnosis amongst other related issues.

Current projects

Publications:

Upcoming

Papers

Theses

System Demonstrations

  • Rat: A tool for formal analysis of requirements, R. Bloem, A. Cimatti, I. Pill, M. Roveri, S. Semprini, and A. Tchaltsev. 17th European Conference on Artificial Intelligence (ECAI) 2006, Aug 28th - Sept 1st

    Public Tech Reports