M
Mahfuza Farooque
Associate Teaching Professor
Research Interests
Constraint Satisfaction and Optimization
E-Learning and COVID-19
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Associate Teaching Professor