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

Spread the love:
  • 1.1K
  •  
  •