View Story  

UMD Team to Receive Distinguished Paper Award at POPL 2021

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

View Story  

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»

View Story  

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»

View Story  

New MC2 Postdoctoral Fellow Brings Expertise in Cryptography to UMD Campus

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

View Story  

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»


Clark School        UMIACS   CMNS