Skip to content
People
Charles Dawson
Kunal Garg
Kwesi Rutledge
Mingxin Yu
Oswin So
Ruixiao Yang
Rujul Gandhi
Songyuan Zhang
Yongchao Chen
Yue Meng
Our Research
Automated testing, verification & design optimization
Certified Learning for Control
Safe human-robot interaction and planning
News
Publications
Wiki
Contact
Prospective Members
People
show submenu for “People”
Charles Dawson
Kunal Garg
Kwesi Rutledge
Mingxin Yu
Oswin So
Ruixiao Yang
Rujul Gandhi
Songyuan Zhang
Yongchao Chen
Yue Meng
Our Research
show submenu for “Our Research”
Automated testing, verification & design optimization
Certified Learning for Control
Safe human-robot interaction and planning
News
Publications
Wiki
Contact
Prospective Members
Ruixiao Yang
Home
|
REALM
|
People
|
Ruixiao Yang
Return to People Overview.