News & Announcements
Van Horn Receives NSF Award to Make Verification Easier to Integrate Into Everyday Programming Tasks
Feb 05, 2019 - He will develop next-generation programming languages that integrate strong correctness guarantees and verification technology with the aim of elevating the reliability of software.
Leiserson Using Machine Learning to Advance Cancer Treatments
Jan 28, 2019 - Using computer modeling, scientists identified three categories of data hospitals should collect to more accurately predict cancer patients’ immune response to therapy.
Manocha's Research on the Science of Crowds Highlighted by Media
Jan 28, 2019 - Manocha and his team are the first to their knowledge to develop a crowd simulation model that integrates physiological, psychological and physical factors.
Dickerson Receives NSF CAREER Award to Improve Market Systems Using AI
Jan 22, 2019 - He will use the award to develop methods to improve existing market systems and enable new markets.
Zuxuan Wu, Doctoral Student in CfAR, Is Named Microsoft Research Ph.D. Fellow
Jan 18, 2019 - Zuxuan Wu, a third-year computer science doctoral student working in the Center for Automation Research (CfAR), was just named a 2019 Microsoft Research Ph.D. Fellow.
Katz Partners with PlatON on Building Protocols for Secure Multi-Party Computation
Jan 16, 2019 - He is working with a former MC2 graduate student and an international startup to design and build protocols for secure multi-party computation.
QuICS Research Featured in Seven Talks at Quantum Information Conference
Jan 14, 2019 - The 22nd installment of QIP features the world’s leading researchers in theoretical quantum information.
Breakerspace Lab Encourages Undergraduate Research
Jan 07, 2019 - Dave Levin has created a new research lab focused on cracking the latest problems in computer and network security.
QuICS Fellow Explores How Cold Atoms Offer a Glimpse of Flat Physics
Jan 07, 2019 - Gorshkov is studying flat landscapes in hopes of unlocking new movement patterns in the quantum world of atoms and electrons.
Augmentarium Alumnus Imagines an Immersive World
Jan 02, 2019 - His projects combine social media with powerful visualization tools based in VR and AR.