Marco Servetto
University Lecturer at Victoria University of Wellington
Wellington, Wellington, New Zealand
Summary
👤
Senior🎓
Top SchoolMarco Servetto is a university lecturer and programming languages researcher with 11 years of academic experience focused on type theory, semantics, and the crossover between object-oriented and functional paradigms. Based at Victoria University of Wellington, he leads the design of 42, a programming language that emphasizes radical security and safe metaprogramming, reflecting his interest in practical language enforcement of safety properties. His background includes a PhD in Computer Science from Università degli Studi di Genova and research stints at DISI and INRIA, giving him deep theoretical grounding and hands-on implementation experience. Marco blends formal modelling with systems-level thinking, often exploring how language design can proactively prevent whole classes of vulnerabilities rather than merely detecting them.
11 years of coding experience
Doctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at Università degli Studi di GenovaVictoria University of Wellington
Stackoverflow
704reputation
21kreached
9answers
20questions
Github Skills (16)
caching10
object-oriented-programming10
compiler9
tla8
pii8
requirements7
pagerduty6
algorithm6
eclipse6
javascript6
state-machine6
java-streams6
parsing6
automata6
java6
Programming languages (5)
Github contributions (5)
ElvisResearchGroup/L42IDE
Jun 2020 - Feb 2022
Contributions:12 reviews, 7 PRs, 88 pushes in 1 year 8 months
ElvisResearchGroup/L42Docs
Jun 2015 - Mar 2024
Documentation for 42
Contributions:1 review, 3 PRs, 264 pushes in 8 years 10 months
pagerdutytlapii
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.