From today’s medical imaging technologies to tomorrow’s supercomputers, the Center for Scientific Computing and Immersive Technologies conducts basic research to develop new applications and advancements in information technology.
Algorithms and Complexity Theory Research
Algorithms and Complexity Theory Research
Algorithms provide a foundation for most, if not all, of computer science. Efficient algorithmic solutions determine whether practical applications such as web-search scale appropriately at national or global scales. These are the practical reasons why we examine algorithms and the theory of complexity.
Current research at the Russ College focuses on parameterized and instance based algorithmic solutions to computational hard problems, algorithmic solutions to problems within the realm of bioinformatics, and algorithmic research that employs proof assistants to build computer verified algorithms along with computer verified performance guarantees.
Research Center
-
Center for Scientific Computing and Immersive Technologies