Malte Schmitz
staff
- Formal methods
- (Temporal-) logic and runtime verification
- Automata theory
- Computational complexity theory and recursion theory
- Software architecture and design
Scientific Staff

E-mail: | malte.schmitz [at] isp.uni-luebeck.de |
Address: | Institute for Software Engineering and Programming Languages
Building MFC II
Maria-Goeppert-Str. 3 23562 Lübeck
Germany |
Phone: | +49 451 3101 6519 |
Room: | 3. Floor, Building MFC II |
Fields of interest
Further Information:
I wrote my master thesis on Distributed Runtime Verification on Embedded Systems. It contains an application on LEGO® Mindstorms NXT robots controlling an assembly line.
I started my research in field of runtime verification in the scope of my bachelor thesis on Transformation of Regular Linear Temporal Logic into Parity Automata.
- Staff
- Martin Leucker
- Elisabeth Husmann
- Philipp Bende
- Gunnar Bergmann
- Tobias Braun
- Gerhard Buntrock
- David Caraveo
- Lukas Convent
- Hannes Kallwies
- Karam Kharraz
- Mohammad Khodaygani
- Uwe Kienitz
- Grigory Markin
- Maria Ostanina
- Hannes Preiß
- Martin Sachenbacher
- Torben Scheffel
- Malte Schmitz
- Annette Stümpel
- Daniel Thoma
- Complete List
- Open Positions