Gustav Ung
Industridoktorand, Intermittent
Kungliga Tekniska Högskolanhttps://www.kth.se/profile/gustavun
Detaljer
Arbetar vid
Enhetens adress
Lindstedtsvägen 5 Plan 5
E-post
Rum
Om mig
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.