To free wearable tech from the burden of batteries, SCS researchers developed Power-Over-Skin, which allows electricity to travel through the human body and could one day power battery-free devices ...

A technical introduction to the fundamentals of programming with an emphasis on producing clear, robust, and reasonably efficient code using top-down design, informal analysis, and effective testing ...

For office hours of the TAs and Zoom links, please check Piazza.

The handout Automated Theorem Proving contains a complete set of notes as of the indicated date. This includes all incremental handouts with possible corrections and updates. Note that I do not ...

A CMU team developed Pangea to make AI and large language models accessible to people who speak languages beyond the Western-centric ones traditionally used to train these models.

J. Callahan, D. Hopkins, M. Weiser, and B. Shneiderman. 1988. An empirical comparison of pie vs. linear menus. In Proceedings of the SIGCHI Conference on Human ...

This is Graham Neubig's lab at the Language Technologies Institute of Carnegie Mellon University. We do research on natural language processing and machine learning, specifically machine translation, ...

I am a postdoctoral fellow at Carnegie Mellon University. I was awarded a PhD from CMU's Machine Learning Department in December 2010. I am interested in machine learning techniques for structured ...

Fri 17-Jan Recitation 1: Lower Bounds [Recitation 1] [Solutions] ...

Like a shot to your dome piece, I'm back to hit you with my annual roundup of what happened in the rumble-tumble game of databases. Yes, I used to write this article on the OtterTune blog, but the ...

Ashique KhudaBukhsh is currently an Assistant Professor at the Golisano College of Computing and Information Sciences (GCCIS), Rochester Institute of Technology (RIT). Prior to this role, he was a ...