Malte Schmitz

staff

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

Fields of interest

• Formal methods
• (Temporal-) logic and runtime verification
• Automata theory
• Software architecture and design

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.