Publications    Interests    Teaching    Michael Tautschnig (PGP key)
Michael Tautschnig
Current and recent teaching

  Journal articles and book chapters   Refereed conference and workshop papers   Talks   Technical reports   Theses

Generated by bibtex2html 1.99.

ACM, Springer-Verlag, and IEEE-mandated Copyright Notice
The documents listed above are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder. ACM, Springer-Verlag, and IEEE published documents have other restrictions given here, here, and here.
My curriculum vitae

Programming today is a race between software engineers striving to build bigger and better idiot-proof programs, and the Universe trying to produce bigger and better idiots. So far, the Universe is winning.

Research interests
  • Improving software quality
  • Model Checking
  • Testing
  • Concurrency
  • Constraint solvers
  • Embedded systems

I'm interested in free software and try to contribute to some open source software projects, whenever time permits.
Publications    Interests    Teaching        Valid HTML 4.01 Strict Valid CSS!
To me vi is Zen. To use vi is to practice Zen. Every command is a koan. Profound to the user, unintelligible to the uninitiated. You discover truth every time you use it.