Philipp Neubeck Dipl.-Inf. Univ.		E-mail Snail Philipp Neubeck Institut für Informatik Technische Universität München Boltzmannstr. 3 85748 Garching Germany Phone +49 (89) 289-17382 Fax +49 (89) 289-17307 Room 00.11.059
Fields of interest Formal Methods (Model Checking) Probabilistic Models Functional Programming Projects InServe III DenTUM III