Malte Schmitz

staff

Scientific Staff

E-mail:	malte.schmitz [at] isp.uni-luebeck.de
Address:	Institut für Softwaretechnik und Programmiersprachen Universität zu Lübeck Ratzeburger Allee 160 23562 Lübeck Germany
Phone:	+49 451 3101 6519
Room:	107, first floor in building 64

Fields of interest

• Formal methods
• (Temporal-) logic and runtime verification
• Automata theory
• Computational complexity theory and recursion 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.