Eric Mugnier
Fifth year Ph.D. student
Systems and Networking Group
Computer Science and Engineering
University of California, San Diego
emugnier [at] ucsd (dot) edu
Resume
I am a Ph.D. student at Opera and Sysnet Group at UCSD, working with Prof. Yuanyuan Zhou.
My research is focused on practical formal methods for real-world systems. I also worked on access control and security related issues.