Algorithms, Logic & Computation


The systematic design and analysis of complex, yet efficient and reliable computational systems is at the core of modern computer science. New challenges arise continually at the one end from the emergence of global computing infrastructures such as wireless networks, cloud computing and the Internet of Things, and at the other end from the demands of solving difficult computational problems in science and engineering. Work at the department in this core area covers the following research themes: modern algorithmics, computational logic and formal methods, cryptography and data security, computer-aided system design and and cyber-physical systems.


Page content by: communications-cs [at] aalto [dot] fi (Department of Computer Science) | Last updated: 06.10.2016.