Federico Lochbaum
PHD Student at Inria
Villeneuve-d’Ascq, Hauts-de-France, France
Summary
👤
Senior🎓
Top SchoolFederico Lochbaum is a PhD student in compilers and benchmarking at the University of Lille with a decade of software engineering and teaching experience bridging academia and industry. He has worked as a senior engineer and full-stack developer, while concurrently instructing courses in formal languages, logic, data structures, and programming—demonstrating a strong foundation in theory applied to practical systems. His research-driven approach pairs with hands-on product experience from companies like Naranja X and SCVsoft, and he maintains an active developer presence on GitHub and Medium. Federico also teaches and practices Wing Chung Kung Fu, an unexpected thread that speaks to discipline and long-term mentorship. Known for curiosity and breadth, he blends compiler research, formal methods, and real-world software delivery to tackle complex correctness and performance problems.
10 years of coding experience
6 years of employment as a software developer
PhD, Compilers, Benchmarking, PhD, Compilers, Benchmarking at University of Lille 1 Sciences and TechnologyLicenciatura en Informática, Licenciatura en Informática at Universidad Nacional de Quilmes
Spanish, English, French
Github Skills (32)
prolog10
rich-text9
javascript9
static-analysis9
java9
python9
browser9
autocomplete9
code-analysis9
nodejs9
haskell9
autosuggest8
hindley-milner8
rich-text-editor8
react8
Programming languages (7)
Github contributions (5)
FP-BAUM/nuflo
Dec 2019 - Mar 2021
Ñuflo is an interpreted functional-logic programming language based on the λU-Calculus.
Contributions:23 commits, 31 PRs, 103 pushes in 1 year 2 months
logic-programmingfunctional-programmingprogramming-languagelambda-calculushindley-milner
FedeLochbaum/slate-autocomplete
May 2019 - Jul 2019
Slate autocomplete custom plugin
Contributions:9 releases, 27 commits, 54 PRs in 1 month
autocompleteslateautosuggestsuggestionsslate-editor
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.