FormaliSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
co-located with ICSE 2024
Meriel von Stein

Registered user since Wed 2 Mar 2022

Name:Meriel von Stein
Bio:

I am a computer science Ph.D. student at the University of Virginia, advised by Sebastian Elbaum, and a member of LESS lab. I have a BA in Islamic art and architecture from Oberlin College, an MS in Computer Science from the University of Virginia, and 3 years of industry experience at NASA Kennedy and NASA Goddard. My Masters’ work was on assessing the conditional invariants and probabilistic distributions implicit in single and swarm drone systems. My current research interests are in analysis, testing, and verification of machine learning systems, especially in the context of cyber-physical systems.

My research interests are in bridging the gap between software and physical environment in robotics and autonomous cyberphysical systems. In particular, I am interested in how we can adapt software engineering methodologies for quality assurance, such as software analysis, testing, and probabilistic prediction, to systems that rely on actuation and the sensed environment to complete their tasks.

Country:United States
Affiliation:University of Virginia
Research interests:Robotics, Software Engineering, Machine Learning, Autonomy

Contributions

Show activities from other conferences

ICSE 2024-profile
View general profile