GradNova

N

Nathan Mull

Lecturer

Computer Science, Boston University

Research Interests

Constraint Satisfaction and Optimization

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Software Engineering Research

Academic Metrics

Links

Grants