Lukas Panneke

uol.de/en/computingscience/groups/formal-methods/team/lukas-panneke

Department of Computing Science  (» Postal address)

A02 3-338 (» Adress and map)

Lectures

Summer term 2025