Jonathan S.
Cambridge, United Kingdom
Software and Proof Engineer | Coq, Lean, OCaml, Agda, Idris, Haskell
$150.00/hr
I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, with extensive experience in functional programming and formal verification. I am available for consulting in any areas related to my expertise.
+ I am experienced with formal verification in Coq, Lean, Agda, and Idris.
+ I am a skilled engineer in OCaml, Go, Haskell, Swift, and Objective-C.
Work history
Work history
One tutoring session on OCaml (one hour)
Mar 4, 2024
-
Feb 8, 2025
Private earnings
Jonathan S. has more jobs. Create an account to review them
Skills