Areas of expertise
Our technical expertise rivals the best in the world. We are proud to host world class Computer Scientists across the full spectrum of the modern discipline.
-
Advanced processor technologies
From many-core computing to neuromorphic technologies, from adaptive compilers to field programmable gate arrays, we are advancing the state of the art for the next generation of energy-efficient computing hardware.
Read more
-
Autonomy and verification
We focus on autonomous systems and their development, verification, and analysis, Applications include robots, self-driving vehicles, distributed sensor-rich systems and decision-making software.
Read more
-
Formal methods
We provide formal mathematical foundations for Computer Science, from verification of hardware, software and agent systems to cryptography and knowledge representation, reasoning and knowledge management.
Read more
-
Human computer systems
Understanding how humans use and interact with computing systems is critical, and part of our core mission. We blend expertise in interface design with psychology theories, to build more intuitive computing systems.
Read more
-
Information management
We design, develop and build state of the art data and knowledge management systems -- spanning from formal underpinnings in knowledge representation and logic, to challenging interdisciplinary work.
Read more
-
Machine learning and robotics
We develop and apply novel statistical Machine Learning methodologies, from theory to application, and push forward the state of the art in Human-Robot interactions with our Cognitive Robotics Lab.
Read more
-
Nano-engineering and spintronic technologies
We research the physical processes to create the computational and data storage devices of the future, using non-conventional computing media and collaborations with Physicists, Chemists and Materials Scientists.
Read more
-
Natural language processing and text mining
We develop NLP and text mining techniques to provide insights for social scientists, biologists, and neuroscientists. Our strong interdisciplinary foundations support a world leading expertise in information extraction.
Read more
-
Systems and software security
We develop state-of-the-art algorithms, methods and protocols to address security and privacy in networked and distributed system environments, and tools to build verifiable, trustworthy software systems.
Read more
