
Building Certified Concurrent OS Kernels
Ronghui Gu’s, CertiKOS, selected as a “Research Highlight” in the Communications of the ACM.
Ronghui Gu’s, CertiKOS, selected as a “Research Highlight” in the Communications of the ACM.
The J.P. Morgan AI Research Awards 2019 partners with research thinkers across artificial intelligence. The program is structured as a … Continue reading CS Professors Part of the Inaugural J.P. Morgan Faculty Research Awards
The team, led by professor Steven Feiner, won the Top Prize, Future Interfaces & Spatial Computing, for their demo, Bounce! Collaborative VR for Low-Latency Interaction at the NYC Media Lab Summit last week.
Elias Bareinboim, Brian Smith, and Shuran Song join the department. Elias BareinboimAssociate Professor, Computer ScienceDirector, Causal Artificial Intelligence LabMember, Data … Continue reading CS Welcomes Three New Faculty Members
FREP awards grants to faculty members in support of research to enhance people’s lives by improving the internet. FREP was founded in 2012 to foster cutting-edge collaborations between scientists in academic settings and those at … Continue reading Daniel Hsu Recipient of 2019 Faculty and Research Engagement Program (FREP)
Researchers from around the country gathered at Columbia Engineering this past weekend for a three-day event honoring four decades of ground-breaking research by Prof. Christos Papadimitriou. The conference, which organizers dubbed “PapaFest,” included individual speakers, … Continue reading Elegantly Complex
Wu will develop new tools for user-friendly data visualization.
They could have been at the beach enjoying the summer. Instead, high school students gathered from across New York City … Continue reading An Interdisciplinary Approach to Artificial Intelligence
CS researchers will be at the 2019 Annual Meeting of the Association of Computational Linguistics in Florence, Italy. Numerous papers … Continue reading CS Papers Accepted to ACL 2019
To put data science in context, we present phases of the data life cycle, from data generation to data interpretation. These phases transform raw bits into value for the end user. Data science is thus … Continue reading The Data Life Cycle
Assistant professor Eugene Wu also helped organize events at the ACM Special Interest Group on Management of Data (SIGMOD) annual conference held in Amsterdam.
Blei cited for development of novel models and methods to explore, understand, and make predictions using probabilistic machine learning
The Symposium on Theory of Computing (STOC) covers research within theoretical computer science, such as algorithms and computation theory. This … Continue reading Four Papers on Computer Science Theory Accepted to STOC 2019
The M2 system integrates cameras, displays, microphones, speakers, sensors, and GPS to improve audio conferencing, media recording, and Wii-like gaming, and allow greater access for disabled users
A data-driven approach to predict outcomes of everything from sports games, business profitability, and public policies.