UMD Team to Receive Distinguished Paper Award at POPL 2021

Their paper presents the first fully verified optimizer for quantum circuits.   More»

Van Horn to Present Paper on Guaranteeing Security and Efficiency in Gradually Typed Programs

He is presenting next month at the 48th ACM SIGPLAN Symposium on Principles of Programming Languages.   More»

MC2 Doctoral Student Takes on the Steep Challenge of Developing Secure Software

Kelsey Fulton, an avid rock climber, puts discipline and determination into her research.   More»

New MC2 Postdoctoral Fellow Brings Expertise in Cryptography to UMD Campus

Cong Zhang is the inaugural recipient of the MC2 fellowship.   More»

Van Horn Wins Most Influential Paper Award at ICFP 2020

The paper is being recognized as having had significant influence in the field of programming languages.   More»