Eduardo Bonelli

TEACHING ASSOCIATE PROFESSOR
School: Schaefer School of Engineering & Science
Department: Computer Science
Building: Gateway South Building
Room: 350
Phone: +1 (201) 216-5261
Email: ebonelli@stevens.edu
Website
Research

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

Courses
  • CS 284 Data Structures
  • CS 496 Principles of Programming Languages