Prover TechnologySweden
This user account status is Approved
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