Recent News & Accomplishments
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
She will use the scholarship to pursue a master’s degree in speech and language processing at the University of Edinburgh.
University of Maryland senior Nataliya Stepanova has been named one of the 46 Marshall Scholars for 2021. The Marshall Scholarship , which allows American students to pursue graduate study at any university in the United Kingdom, is considered one of the most prestigious academic awards available to college graduates. “The Marshall Scholarship is not only immensely prestigious, but extraordinarily selective. To be amongst this new class of Britain-bound all-stars is testament to Nataliya’s brilliance, vision, and determination to change the world,” said Richard Bell , a UMD professor of... read more
Courses are taught on weekday evenings to accommodate work schedules and students have the opportunity to earn a master's in less than two years.
The University of Maryland’s Science Academy saw major enrollment growth this fall in its data science and machine learning programs for working professionals. The programs, which are only in their second year, enrolled 54 new students, including 24 UMD alumni. The incoming class ranged in age from 20 to 54 years old and was 39% female. “The growth we’ve seen in our professional programs validates our commitment to diversifying educational offerings that are both of high value and of academic excellence,” said Amy Chester, director of the Science Academy. “As we navigated a new reality this... read more
The national honor recognizes his distinguished efforts to advance science at DARPA.
University of Maryland Computer Science Professor William Regli (M.S. ’94, Ph.D. ’95, computer science) has been named a 2020 Fellow of the American Association for the Advancement of Science (AAAS). AAAS is the world’s largest general scientific society, and election as an AAAS Fellow is an honor bestowed upon AAAS members by their peers because of their scientifically or socially distinguished efforts to advance science or its applications. New Fellows were formally announced in the AAAS News & Notes section of Science on November 24, 2020. A virtual induction ceremony for the 489 newly... read more