GradNova

E

Eduardo Bonelli

Teaching Professor

Computer Science, Stevens Institute of Technology

Research Interests

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Semantic Web and Ontologies

Semigroups and Automata Theory

Academic Metrics

Links

Grants