Research Assistant

E-Mail	markus.weissmann@in.tum.de
Room	MI 03.07.054
Phone
Mobile	+49.151.58402057
Fax	+49.89.289.18107
Address	Institut für Informatik VI Technische Universität München Boltzmannstraße 3 85748 Garching bei München Germany
Homepage	http://www.mweissmann.de/

Markus Weißmann, M.Sc.

Jobs and theses for students

OCaml programmers for working on compilers and build tools
OCaml programmers for working on general purpose ibraries (e.g. implement features for camlzip, ocamlgraph)

Don't hesitate to contact me if you want to know more or have an idea you want to implement in OCaml.

Projects

INI.TUM - Ingolstadt Institute of TUM, Cooperation with AUDI AG
PUMA - Program and Model Analysis

Software

ocamlgraph Fixpoint, Leaderlist and Contraction modules
PROMELA library
Boolean Expression Simplifier

Videos

Analysis of Industrial Robot Systems, video from my talk at OUD 2012

Publications

[1]	Markus Weißmann, Stefan Bedenk, Christian Buckl, and Alois Knoll. Model checking industrial robot systems. In Proceedings of the 18th International Workshop on Model Checking of Software (SPIN 2011), LNCS, pages 161-176. Springer, 2011. [ DOI \| .bib \| .pdf ]

Patents

Method for changeover between mixed light colors (U.S. Patent 8007125), 30. August 2011 (with Diehl Aerospace, Sein&Schein)