selebrator Goto Github PK
Name: Lukas Panneke
Type: User
Company: DLR SE
Bio: CS researcher passionate about Formal Methods/Verification, Java Programming, and Petri Nets. Working on trustworthy real-time systems in the maritime sector.
Location: Oldenburg, Germany