
Eduardo Bonelli
Teaching Professor
Charles V. Schaefer, Jr. School of Engineering and Science
Department of Computer Science
Education
- PhD (2001) Université Paris XI (Computer Science (in cotutelle with UBA))
- BS (1996) Universidad Nacional de La Plata (Computer Science)
Research
Foundations of programming languages including the following areas of interest: Lambda Calculus, Type Theory, Proof Theory, Rewriting Theory.
General Information
Eduardo Bonelli is a Teaching Professor whose research focus is on foundations of programming languages.
Institutional Service
- AMP Advisor Chair
- Graduate Open House Member
- NTT Search Committee Chair
- SES Strategic Planning Committee to develop the School’s next five-year strategic plan for 2023-2028 Member
- Strategic Planning Committee Member
- NTT Search Committee Member
- Graduate Studies, Associate Department Chair
- Admitted Student Weekend Member
- Workshop for NTT Faculty on Expectations and Processes for Promotion Member
- Academic Ambassador Chair
- Transfer credit coordinator Member
- Search committee for teaching faculty Member
- Admitted Student Visit Member
- Transfer Credit Coordinator Chair
- CS Curriculum Member
- Exchange student coordinator Member
- Admitted Student Visit Member
Honors and Awards
2023 Distinguished Teaching Faculty, Student Government Association.
Recipient of the 2022 SAA Outstanding Teacher Award, Stevens Alumni Association Board of Directors.
2019 Alexander Crombie Humphreys Distinguished Teaching Associate Professor Award.
Recipient of the 2022 SAA Outstanding Teacher Award, Stevens Alumni Association Board of Directors.
2019 Alexander Crombie Humphreys Distinguished Teaching Associate Professor Award.
Selected Publications
https://dblp.uni-trier.de/pid/b/EduardoBonelli.html
https://scholar.google.com/citations?user=EGjxtngAAAAJ&hl=en
https://scholar.google.com/citations?user=EGjxtngAAAAJ&hl=en
Courses
CS496 - Principles of Programming Languages
CS511 - Concurrent Programming
CS284 - Data Structures
CS511 - Concurrent Programming
CS284 - Data Structures