Profile – Loos

PhD Student

Computer Science Department
Carnegie Mellon University 
5000 Forbes Avenue
Pittsburgh, PA 15213



Sarah Loos is a Ph.D. student in the Computer Science Department at Carnegie Mellon University. Her research interests include logical analysis and formal verification of distributed hybrid systems, such as distributed car control and collision avoidance protocols for aircraft. She is a Department of Energy Computational Science Graduate Fellow. In addition to her role as co-editor of the ACM-W newsletter, Sarah serves as a student member on the board of trustees for the Anita Borg Institute. Her service to women in computing organizations began as an undergraduate at Indiana University, where she served as the co-president of the undergraduate WiC group. She is now an active member of Women@SCS at Carnegie Mellon, where she participates in several educational computer science outreach programs for undergraduates, such as the OurCS workshop (Opportunities for Undergraduate Research in Computer Science).