Dominic Duggan
Associate ProfessorStevens Institute of Technology · Computer Science
programming languages · semantics · software safety and security · type systems · language-based security
- programming languages
- type systems
- semantics
- language-based security
- distributed systems
QS #6732026Website