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

About Me


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.