Recent CSD Ph.D. grad Juncheng Yang received the 2025 ACM SIGOPS Dennis M. Ritchie Doctoral Dissertation Award for his contributions to and impact on software systems research.

Homepage of Michael KaessAbstract Underwater perception and 3D surface reconstruction are challenging problems with broad applications in construction, security, marine archaeology, and environmental ...

Javascript is required for the SCS calendar.

This webpage is a benchmark data set for keystroke dynamics. It is a supplement to the paper "Comparing Anomaly-Detection Algorithms for Keystroke Dynamics," by Kevin Killourhy and Roy Maxion, ...

Linkage are composed of links and lower pairs. The simplest closed-loop linkage is the four-bar linkage, which has three moving links, one fixed link and four pin joints. A linkage with one link fixed ...

Professor of Computer Science Gates Hillman Center 7219 Computer Science Department Carnegie Mellon University Office: GHC 7219 Email: [email protected] Ph: (412) 268-7885 ...

16-711 is a core course in the Action area for the Robotics PhD. Prerequisites: graduate standing or permission of the instructor. The course is expected to be a challenging course for grad students.

"We look at people like Jack Pidgeon or the public school teacher who stretched the envelope for 30 years as exceptions, as anachronisms, because only the toughest can make a life of it. And that's ...

A selection of publicly-available legal documents filed in U.S. District Court, Central District of California. Now that the trade secret status of the OT materials has been lost (decisions of federal ...

The conference on Automated Deduction (CADE) is the major international forum at which research on all aspects of automated deduction is presented. The conference programme includes invited talks, ...

Isn't Hex a solved game? Only "ultra-weakly," to use Victor Allis's terminology. John Nash proved in 1949 that the first player has a theoretical win, but his proof is non-constructive; i.e., it does ...

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 ...