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

🤩
Rockstar
🎓
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)

concurrent-programming10
transaction10
xmlhttprequest10
parallel10
interoperability10
cml10
codeblocks10
adt10
fold10
type-system10
effects10
partial-lenses10
webserver10
concurrency10
cursor10

Programming languages (20)

C#PowerShellJavaCSSC++CPureScriptCMake

Github contributions (5)

github-logo-circle
calmm-js/bacon.atom

Jan 2016 - Sep 2017

Reactive variables with Bacon
Contributions:64 commits, 2 PRs, 58 pushes in 1 year 7 months
baconreactivereactive-variablesvariables
polytypic/fastener

Apr 2016 - Jan 2019

Functional Zipper for manipulating JSON
Contributions:141 commits, 3 PRs, 118 pushes in 2 years 8 months
zipperjsoncursorimmutablequery
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