News & Announcements
UMD Team Wins Applied Networking Research Prize
Jan 22, 2021 - The team was led by Kevin Bock (in photo), a fourth-year doctoral student in computer science, and his adviser, assistant professor of computer science Dave Levin.
QuICS Fellow Receives Department of Commerce Gold Medal Award
Jan 20, 2021 - The award recognizes individuals or groups that provide extraordinary, notable or prestigious contributions that reflect favorably on the department and impact its mission
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.
Chellappa Named to National Academy of Inventors
Dec 11, 2020 - His research includes projects involving signal and image processing, pattern recognition, multi-dimension stochastic processes, statistical interference, image analysis, robust and secure biometrics, and artificial intelligence in computer vision.
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.