معرفی
Eduardo Bonelli is a Teaching Professor in the Department of Computer Science at Stevens Institute of Technology's Charles V. Schaefer, Jr. School of Engineering and Science. He holds a PhD from Université Paris XI and BS from Universidad Nacional de La Plata. His research focuses on programming language foundations including lambda calculus, type theory, and rewriting systems.
Institutional service includes roles as Associate Department Chair for Graduate Studies, Academic Ambassador, and membership on multiple committees including the SES Strategic Planning Committee and NTT Search Committees.
- 2023 Distinguished Teaching Faculty, Student Government Association
- 2022 SAA Outstanding Teacher Award
- 2019 Alexander Crombie Humphreys Distinguished Teaching Associate Professor Award
Research explores rewriting systems, type theory, and program verification. Recent publications focus on linear logic, bisimulation, and higher-order rewriting. Advised PhD students include Pablo Barenbaum (dynamic semantics) and Andrés Viso (pattern calculi).
Eduardo Bonelli در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
Delia KesnerMax Planck Institute for Software Systems · استاد
Aleksi AaltonenStevens Institute of Technology · دانشیار
Katia MeggiorinStevens Institute of Technology · استادیار- SSveinn OlafssonStevens Institute of Technology · استادیار
Sohyun ParkStevens Institute of Technology · استادیار- MMichael zur MuehlenStevens Institute of Technology · دانشیار