Gustav Ung
Industry doctoral student, Intermittent
Kungliga Tekniska Högskolanhttps://www.kth.se/profile/gustavun
Details
Works for
Unit address
Lindstedtsvägen 5 Plan 5
E-mail
Room
About me
Industrial PhD student working with formal methods and specializing in formalization and verification of safety-critical automotive software that has real-time temporal properties. Employed at Traton R&D (formerly Scania R&D), and affiliated with the department of theoretical computer science (TCS) under supervision of Prof. Dilian Gurov.