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

Email: ebonelli@stevens.edu

Website

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

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

General Information

See DBLP (https://dblp.uni-trier.de/pid/b/EduardoBonelli.html) or Google Scholar (https://scholar.google.com/citations?user=EGjxtngAAAAJ&hl=en) 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.
    https://drops.dagstuhl.de/opus/volltexte/2020/11647/.
  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.
    https://www.sciencedirect.com/science/article/pii/S0304397519301240?via%3Dihub.