Developer
Prover Technology
Private Sector, Academia
Germany, Sweden, United States of America
Ph.D. Mathematics, currently a developer at Prover Technology, working with formal verification of the safety of train signaling systems.
American
Sweden
English, German, Spanish
Related Links
Online Presence