Jonathan S.
CambridgeUnited Kingdom
Rising Talent

Software and Proof Engineer | Coq, Lean, OCaml, Agda, Idris, Haskell

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.

Jonathan S. has more jobs. Create an account to review them