The research carried out at CTIC is focused on four related areas foundational topics within the theory of computation using mathematical methods, with a special focus on the challenges arising from the interactive computation settings of the 21st century. There is a work package within CTIC for each of the four topics. For more information, click on one of the four topics in the menu to the left.