Some scientific discoveries matter because they reveal something new — the double helical structure of DNA, for example, or the existence of black holes. However, some revelations are profound because ...

Lambda-calculus and type theory form a foundational framework in computer science and mathematical logic, offering a formal approach to modelling computation and reasoning about programs. At its core, ...

Computer science graduate students from around the world are brought together at UW to learn in an exciting atmosphere. Students are encouraged to bring their curiosity and sense of discovery to each ...