Automated Reasoning and Formal Verification Expert
Login to Send EmailDescription
Haskell
Python
C++
Formal methods
OCaml
Rust
automated reasoning and verification
modelling
HPC
Recent PhD grad with experience in automated reasoning and formal verification. Proficient in low-level and functional languages and has experience in high-performance computing.