The Laboratory for Foundations of Computer Science (LFCS) continues to lead the way in the development of mathematical models, algorithms, theories and tools that probe the possibilities of
At the Artificial Intelligence and its Applications Institute (AIAI), we enable computer systems to reproduce and complement human abilities, work with people, and support collaboration between