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

The investment completes a financing round of more than $3.5 million for the University of Maryland-affiliated company developing spatial and personalized audio solutions.

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

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

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.

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.

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

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

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.

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