News & Announcements

Abadi and Dorr Named ACM Fellows

Jan 14, 2021 - Being named an ACM Fellow is an elite recognition of outstanding science and scholarship that is bestowed upon less than one percent of the organization’s 100,000 members.

New QuICS Fellow Investigates Quantum Computing in a Noisy World

Jan 08, 2021 - By dissecting and understanding the turbulent results that are possible when many quantum objects come together, Michael Gullans is helping to lay the groundwork for wielding quantum interactions to our advantage

IEEE Intelligent Systems Names Dickerson One of “AI’s 10 to Watch”

Jan 07, 2021 - The finalists were chosen by a committee of IEEE Intelligent Systems editorial and advisory board members based on the candidate’s scientific quality, reputation, impact, expert endorsement, and diversity.

UMD Team to Receive Distinguished Paper Award at POPL 2021

Jan 06, 2021 - Their paper presents the first fully verified optimizer for quantum circuits—called VOQC—implemented within a formal proof management system.

Two UMD Undergraduates Receive Honorable Mentions in CRA Outstanding Undergraduate Researcher Program

Dec 21, 2020 - The prestigious program recognizes undergraduate students in North American colleges and universities who show outstanding potential in an area of computing research.

Two Former Graduate Students Receive the Larry S. Davis Doctoral Dissertation Award

Dec 15, 2020 - The annual award recognizes outstanding doctoral dissertations in the Department of Computer Science that convey excellence in their technical depth, significance, potential impact and presentation quality.

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

Dec 11, 2020 - He is presenting next month at the 48th ACM SIGPLAN Symposium on Principles of Programming Languages, a forum for the discussion of all aspects of programming languages and programming systems.

Raschid Named IEEE Fellow

Dec 02, 2020 - She is being recognized for her contributions to data management, information integration and data mining.

UMIACS Team Awarded $1.2M from Army Research Laboratory

Dec 02, 2020 - Ramani Duraiswami and Nail Gumerov are developing innovative computational methods that can simulate the effect of low-frequency electromagnetic fields on human organs.

Resnik Recognized as 2020 ACL Fellow

Dec 01, 2020 - Resnik was specifically noted for his significant contributions to symbolic-statistical methods for natural language processing, multilinguality and the interdisciplinary study of language.

Pages