Meg Stuart

Hello! I am a graduate student in computer science at the University of North Carolina at Chapel Hill advised by Dr. Sridhar Duggirala. I am doing research in formal verification of neural network behavior. More generally, I am interested in problems with strong connections to the real world.  You can often find me thinking about wildland conservation, data science, formal logic, robust and interpretable machine learning, best practices in coding and software design, and, low-dimensional and algebraic topology. You can often hear me talking about how to encourage diversity in computer science, the false promise of "objective" data and ways to combat bias in data collection, and how to survive grad school. 

Outside of work, you can find me backpacking, hiking, or camping, building things (mostly out of wood), hanging out with my pets, growing plants, watching Attenborough documentaries (especially the ocean ones), reading, or enjoying memes.

I can be contacted via email at mstuart_at_cs_dot_unc_dot_edu.