Eduardo Bonelli

Teaching Professor and Associate Chair for Graduate Studies in the Department of Computer Science

School: School of Engineering and Science

Department: Computer Science

Building: Gateway Center

Room: S350

Phone: (201) 216-5261

Fax: (201) 216-8249



  • PhD (2001) Université Paris XI (Computer Science (in cotutelle with UBA))
  • BS (1996) Universidad Nacional de La Plata (Computer Science)

Formal methods for programming languages: Proof theoretical foundations, type systems, language-based security and formal verification.

General Information

See DBLP ( or Google Scholar ( for detailed information on publications.

Institutional Service
  • 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

2019 Alexander Crombie Humphreys Distinguished Teaching Associate Professor Award.

Selected Publications
Conference Proceeding
  1. Kesner, D.; Bonelli, E. A.; Viso, A. E. (2020). Strong Bisimulation for Control Operators. International Computer Science Logic Conference (4 ed., vol. 152, pp. 1--23). Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik.
  2. Bonelli, E. A.; Barenbaum, P.. Terms as Rewrites through Justification Logic. 22nd International Symposium on Principles and Practice of Declarative Programming, 8-10 September 2020, University of Bologna, Italy (pp. 13). ACM Press.
Journal Article
  1. Ayala-Rincón, M.; Bonelli, E.; Viso, A. (2019). Typed path polymorphism. Theoretical Computer Science (vol. 781, pp. 111-130). Elsevier Science.