Vesa Karvonen

Software Engineer at Jane Street

London, England, United Kingdom
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Vesa Karvonen is a software engineer with 12+ years of professional experience and deep expertise in functional and concurrent programming, compilers, and language/runtime design. He has built lock-free algorithms and concurrency libraries (STM, effects-based interfaces) and helped optimize OCaml for multicore use, most recently as part of Jane Street’s OCaml language team. His background spans low-level assembly and hardware-aware optimizations to high-level type-driven design and EDSLs, with production work across languages including F#, Scala, C++, OCaml and tooling for game and backend systems. Vesa combines research-grade understanding (e.g. MESI, Curry-Howard) with practical delivery—rewriting critical components, designing parallelization libraries, and mentoring engineers—making complex concurrency and language features usable in real systems. An occasional open-source contributor and former author of libraries like Hopac and Kcas, he gravitates toward projects that make hard programming problems convenient and safe.
code12 years of coding experience
job23 years of employment as a software developer
bookBSc, Computer Science, BSc, Computer Science at Helsingin yliopisto
languagesFinnish, English, Swedish
stackoverflow-logo

Stackoverflow

Stats
191reputation
884reached
2answers
0questions
github-logo-circle

Github Skills (200)

cml10
effects10
ppx10
compare-and-swap10
opam10
mutex10
package-repository10
functional10
pooling10
json10
suave10
child-process10
observables10
user-interface10
partial10

Programming languages (21)

C#PowerShellJavaC++CSSCPureScriptStandard ML

Github contributions (5)

github-logo-circle
1ml-prime/1ml-mode

Nov 2019 - Aug 2020

Contributions:33 commits, 54 pushes, 2 branches in 8 months
polytypic/fastener

Apr 2016 - Jan 2019

Contributions:141 commits, 3 PRs, 118 pushes in 2 years 8 months
zipperjson
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.
Request Free Trial
Vesa Karvonen - Software Engineer at Jane Street