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 (often theoretical) problems with strong connections to the real world.  You can often find me thinking about formal logic, robust and interpretable machine learning, best practices in coding and software design, and, less often these days, 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), or enjoying (read: laying in bed and mindlessly scrolling through) memes.

I can be contacted via email at mstuart_at_cs_dot_unc_dot_edu.