Research Interests

Formal Verification, Model Checking, Constraint Optimization

Personal Information

Master Student