Jan Rovira
Compiler Engineer at blp
Vic, Catalonia, Spain
Summary
🤩
Rockstar🎓
Top SchoolJan Rovira is a compiler engineer with a decade of experience at the intersection of mathematics and programming, holding master’s degrees in Computer Science and Mathematical Logic. He has driven the design and implementation of Juvix, a pure, strongly-typed functional language focused on safety, and previously applied formal verification as a Proof Engineer at Formal Vindications. Based in Vic, Catalonia, Jan blends deep theoretical reasoning with practical compiler engineering, from type systems to code generation. His work shows a persistent focus on correctness and safety rather than just performance, and he enjoys exploring compilers, types and functional programming experimentally in open-source projects.
10 years of coding experience
6 years of employment as a software developer
UPC Universitat Politècnica de CatalunyaMaster's degree, Computer Science, Master's degree, Computer Science at Chalmers University of TechnologyMaster's degree, Logic, Master's degree, Logic at Universitat de Barcelona
Github Skills (110)
cms10
programming-language10
hugo10
sml10
language-server-protocol10
transpiler10
smart-contracts10
operating-system10
compiler10
erlang10
elixir10
blog-engine10
protocols10
reference-implementation10
blockchain10
Programming languages (13)
Github contributions (5)
anoma/juvix-mode
Jan 2023 - Feb 2025
The Juvix Emacs mode
Contributions:3 reviews, 26 PRs, 65 pushes in 2 years 1 month
emacsemacs-modeemacs-lspjuvixemacs-lisp
anoma/juvix
Dec 2021 - Jan 2023
A language for intent-centric and declarative decentralised applications
Contributions:878 reviews, 394 commits, 609 PRs in 1 year 1 month
verifiedanomaformally-verifiedreliablecompiler
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.