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 ...

Technological foundations that underpin software engineering and service-oriented computing, adding stability and reliability to those foundations and the ...

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 generic and fundamental mechanisms that enable the emergence of various degrees of organization, intelligence and autonomy in complex systems, and ...