Foundations of Computing Group

tree root

What we do

The Foundations of Computing and Programming play an increasingly important role in shaping the information revolution and opening new horizons for it. Technological advances unravel basic concepts and mathematical challenges; dually, foundational studies enable new technologies. The Foundations Group faculty and students focus their research on concepts and bridges that lie at the core of computing and programming. Examples include
  • Validation of imperative, declarative, and object-oriented programs
  • Program feasibility certification
  • Typing disciplines and monads for functional and object-oriented programs
  • Automatic support and logical foundations of syntactic theories
  • Non-classical logics and their computational contents
  • Models of information and computation
  • Computational and mathematical foundations of linguistics
  • New logical paradigms (e.g. visual, parallel, hybrid) that transcend traditional sequential and symbolic formalisms

People

Faculty

Students

Visitors and affiliated (2001/2002)

Courses in Foundations and related topics

Links