Recent News & Accomplishments
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.
A team of University of Maryland computer and network security researchers recently won an Applied Networking Research Prize for a paper they published in 2020 that addresses internet censorship. The prize— given by the Internet Society in coordination with the Internet Research Task Force (IRTF)—recognizes outstanding results in applied networking, interesting new research ideas of potential relevance to the internet standards community, and upcoming people that are likely to have an impact on internet standards and technologies. The UMD team was led by Kevin Bock (in photo), a fourth-year... read more
Darnell-Kanal Professor Daniel Abadi and Professor Emerita Bonnie Dorr join 93 other researchers worldwide who were named ACM Fellows for 2020 , an elite recognition of outstanding science and scholarship that is bestowed upon less than one percent of the organization’s 100,000 members. In announcing this year’s cohort, ACM President Gabriele Kotsis noted that “the 2020 Fellows have demonstrated excellence across many disciplines of computing. These men and women have made pivotal contributions to technologies that are transforming whole industries, as well as our personal lives.” Abadi was... read more
Dickerson’s research is focused on solving practical economic problems using techniques from computer science, stochastic optimization and machine learning.
A University of Maryland expert in machine learning has been named as one of “AI’s 10 to Watch” by IEEE Intelligent Systems , a bimonthly peer-reviewed academic journal published by the IEEE Computer Society . John Dickerson , an assistant professor of computer science with an appointment in the University of Maryland Institute for Advanced Computer Studies , joins nine other early-career scientists recognized for their outstanding achievements involving artificial intelligence. The finalists were chosen by a committee of IEEE Intelligent Systems editorial and advisory board members based on... read more
Their paper presents the first fully verified optimizer for quantum circuits—called VOQC—implemented within a formal proof management system.
A team of researchers from the University of Maryland will be recognized with a Distinguished Paper Award at an upcoming international forum on programming languages and programming systems. Their paper, “ A Verified Optimizer for Quantum Circuits ,” presents the first fully verified optimizer for quantum circuits—called VOQC—implemented within a formal proof management system. It will be presented at the 48 th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021), scheduled from January 17–22 in an online-only format due to the ongoing COVID-19 pandemic. The paper is... read more
Two University of Maryland undergraduates have been recognized with honorable mentions from the 2021 Computing Research Association (CRA) Outstanding Undergraduate Researcher Award program . The prestigious program—sponsored this year by Microsoft Research—recognizes undergraduate students in North American colleges and universities who show outstanding potential in an area of computing research. Neehar Peri (left in photo), a senior majoring in computer engineering, and Ian J. Costello (right), a junior who is double majoring in computer science and mathematics, are among the 105 students... read more
Two Ph.D. graduates from the Department of Computer Science were recently honored for the excellence of their research and scholarship at the University of Maryland. Fatemeh Almodaresi (left in photo) and Yuan Su (right), who graduated with a Ph.D. in computer science in the summer and spring of 2020 respectively, are this year’s recipients of the Larry S. Davis Doctoral Dissertation Award. The annual award recognizes outstanding doctoral dissertations in the department that convey excellence in their technical depth, significance, potential impact and presentation quality. The award is named... read more
A University of Maryland expert in programming languages is presenting a paper next month that proves it possible to have both soundness and efficiency in a widely used development practice known as gradually typed programs.
David Van Horn , an associate professor of computer science with an appointment in the University of Maryland Institute for Advanced Computer Studies , will share this research at the 48 th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021). POPL is a forum for the discussion of all aspects of programming languages and programming systems. The event is taking place from January 17–22, 2021, and will be entirely online due to the ongoing COVID-19 pandemic. “ Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification ” is concerned with gradual typing, an... read more
The department is pleased to announce the staff service awardees for Fall 2020: Richa Mathur and David Turner. Executive Coordinator Richa Mathur received the staff service award in recognition of her immense contribution towards meeting the communication needs of the CS department. In the absence of a full time communicator she took up the mantle and went well beyond her assigned duties to connect with the faculty, students and staff and highligted their work on critical communication platforms. Senior Academic Advisor David Turner , received the award in recognition of his leadership role... read more
Research is integral to the mission of the Department of Computer Science. Faculty members and students conduct studies in traditional and interdisciplinary research areas. Below is a selection of recent funding awards and the work they will support. Generating Computational Methods to Simulate Effect of Low-frequency Electromagnetic Fields on Human Organs A team of UMD researchers received funding from the Army Research Laboratory (ARL) to develop innovative computational methods that can simulate the effect of low-frequency electromagnetic fields on human organs. Ramani Duraiswami , a... read more
Louiqa Raschid , a professor in the Robert H. Smith School of Business with a joint appointment in the University of Maryland Institute for Advanced Computer Studies (UMIACS), has just been named a Fellow by the Institute for Electrical and Electronics Engineers (IEEE). Raschid has an affiliate appointment in the Department of Computer Science. Being chosen as a Fellow is the highest grade of IEEE membership, and is recognized by the technical community as a prestigious honor and an important career achievement. Raschid was specifically cited for her contributions to data management,... read more