High-performance Programmer and Formal Methods expert
Login to Send EmailDescription
formal methods
concurrent programming
Haskell
distributed systems
Python
High-performance programming
C++
Rust
OCaml
I have a PhD in Computer Science (software verification) and an MSc in Physics (computational modelling and simulation). I have experience in low-level languages and functional programming, and in concurrent and high-performance code. I've excellent problem-solving skills, and lots of experience tackling very hard problems. I also learn new things very quickly.