SCS faculty member Justin Chan has received an American Heart Association Career Development Award to support his research on using AI-enabled hearables to expand access to cardiac monitoring.

The LTI's Daniel Fried is working to eliminate the communications gaps that prevent today's AI tools from being trusted coworkers and collaborators.

I am now working for Google in Mountain View since November 2013.

This is an introductory course on the foundations of programming languages. The central organizing principle is the identification of language features with types. The theory of programming languages, ...

Press the button to begin the test. You're goal is to tap the blue ribbons as QUICKLY and as ACCURATELY as possible. Please be sure not to change the orientation of the device or resize the window.

@article{Sharp:2018:VSC, author = {Sharp, Nicholas and Crane, Keenan}, title = {Variational Surface Cutting}, journal = {ACM Trans. Graph.}, volume = {37}, number ...

It was some time before the Cowardly Lion awakened, for he had lain among the poppies a long while, breathing in their deadly fragrance; but when he did open his eyes and roll off the truck he was ...

Variable \(X_i\): Factored representation of each state. Domain \(D_i\): Set of allowable values for variable \(X_i\). Constraint \(C_i\): Consists of tuple of variables that participate in the ...

Encompassing artificial intelligence, graphics, hardware and software systems, programming languages, security and privacy, and theory, the Computer Science Ph.D. program is the foundation of computer ...

http://www.cs.cmu.edu/afs/cs/usr/bovik/www/index.html. Hi, I'm Harry Bovik. For over a decade now people have been sending me opinions on all sorts of local topics. I ...

This paper describes a numerical method for surface parameterization, yielding maps that are locally injective and discretely conformal in an exact sense. Unlike previous methods for discrete ...