Search results

Investigating how cryptologic methods can contribute to solving security issues, for example through encryption, digital signatures and secure computation.

A leading data systems research group, active in the broad area of data (management) systems and infrastructure for supporting data science.

Facilitating and improving the way people access media and communicate with others and the environment, in areas such as wearable technology and smart ...

Focusing on how computer programs can learn from and understand data, and then make useful predictions based on it, using insights from statistics and ...

Combining scientific computing with model reduction and machine learning, with particular focus on plasma dynamics in lightning and space weather, and in high ...

Developing algorithmic methods to tackle complex optimization problems by combining techniques from mathematics and computer science, with applications in ...

Investigating and developing mathematical methods to simulate and predict real-world phenomena with inherent uncertainties, targeting applications in climate, ...

Developing and studying probabilistic, operational and statistical models to model, describe, and improve communication, energy, information, logistics, and ...

Studying how to secure computational environments in the presence of strong adversaries where we formally model security guarantees such as privacy, integrity, ...

Developing methods and techniques to better support users in accessing information. Working with social scientists and humanities researchers on technology to ...