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.
- INI.TUM - Ingolstadt Institute of TUM, Cooperation with AUDI AG
- PUMA - Program and Model Analysis
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 |