Mubashir Anwar

I am a fourth-year PhD candidate in Computer Science at the University of Illinois Urbana-Champaign (UIUC), working with Professor Matthew Caesar. My research focuses on understanding and verifying complex network systems through high-level language abstractions and formal methods.