Max Tschaikowski
Dipl.-Math., Doctoral Student
Interests
- Formal Methods
- Stochastic Process Algebra
- Fluid-Flow Approximation in PEPA
Teaching
- WS 10/11 - Formale Spezifikation und Verifikation
- SS 11 - Performance Modelling of Computer Systems
- WS 11/12 - Softwaretechnik
- SS 12 - Formale Spezifikation und Verifikation
- SS 12 - Performance Modelling of Computer Systems
Office
Oettingenstraße 67
Room: F 004
Address
Institut für Informatik
Ludwig-Maximilians-Universität München
Oettingenstraße 67
D-80538 München
Germany
Tel: +049-89-2180-9177
Email: tschaikowski (at) pst.ifi.lmu.de, Public Key
