People

Lina Marsso

Assistant Professor, Lab Director

Formal conformance testing · Satisfiability checking · Perception reliability

Supervised by Pierre-Yves Lajoie and Lina Marsso

Aryan Kargwal

PhD

Robot perception · Formal verification · Autonomous robotics

Paul Adubi

PhD

Formal methods · Software verification

Carter Teplica

PhD

Verification · Requirements engineering

Zhenyu Yang

PhD

Out-of-distribution detection · Adversarial attacks · Adversarial training

Laila Daw

PhD

Formal methods · System assurance

Itai Epstein

Master's

Responsible AI · Dataset evaluation · AI and sustainability