Eduardo Bonelli
Full Teaching Professor at Stevens Institute of Technology
Hoboken, New Jersey, United States
Summary
👤
Senior🎓
Top SchoolEduardo Bonelli is a Full Teaching Professor in Computer Science at Stevens Institute of Technology with over a decade of academic and research experience focused on the formal foundations of programming languages, particularly lambda calculus, type theory, and proof theory. He holds a PhD in Theoretical Computer Science from Université Paris Sud and has a long track record of research and teaching roles across Argentina and the United States, including CONICET and Universidad Nacional de Quilmes. At Stevens he designs and teaches core programming languages courses and contributes hands-on to courseware—implementing language features, parsers, and error-handling improvements in repositories like PLaF. Colleagues describe him as a practitioner-scholar who blends rigorous theoretical insight with practical implementation, mentoring students to bridge proofs and working language implementations. Based in Hoboken, he pairs deep formal expertise with collaborative open-source development experience, often surfacing subtle language-design trade-offs in classroom code.
10 years of coding experience
13 years of employment as a software developer
Grey Junior SchoolDoctor of Philosophy (PhD), Theoretical Computer Science, Doctor of Philosophy (PhD), Theoretical Computer Science at Université Paris Sud (Paris XI)Postdoc, Postdoc at Stevens Institute of TechnologyLicenciado en Informática, Licenciado en Informática at Universidad Nacional de La Plata
English
Github Skills (8)
parse-tree10
programming-language10
parser10
language-design10
lex10
lexer10
abstract-syntax-tree10
ocaml10
Programming languages (1)
Github contributions (4)
ebonelli/PLaF
Dec 2020 - Jan 2023
Notes and source code for a semester-long course introducing Programming Language fundamentals
Role in this project:
Back-end Developer
Back-end DeveloperContributions:28 commits, 3 PRs, 121 pushes in 2 years 1 month
Contributions summary:Eduardo primarily focused on implementing and modifying core components of a programming language fundamentals course. Their contributions involved adding new language features to the parser, abstract syntax tree, and lexer, specifically incorporating "unpair" functionality. The user also addressed several instances where the code used "error" instead of "failwith", implying work on the language's error handling mechanisms. The user’s work included merges, suggesting collaboration on the project.
ebonelli/ebonelli.github.io
Nov 2019 - Dec 2024
Contributions:29 pushes, 1 branch in 5 years 2 months
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.