Research Staff

The list of LFCS Research Staff

Nameresearch interests

Sean Adamson

Malin Altenm├╝ller

Sandor Bartha

Ben Benoi

Pauline Besserve


Jan Bobolz

Cryptography, provable security

Robert Booth

Brian Campbell

Programming languages, including formal modelling of instruction set architectures, capabilities, and resources.

Joyentanuj Das


Ricardo De Oliveira Almeida


Irina Dudina

Frank Emrich


John Stewart Fabila Carrasco

Sreepriya G

Vashti Galpin

Programming languages and databases with a focus on language-integrated query and provenance, FAIR data and software, Modelling dynamic concurrent processes using formal semantics for mathematical reasoning about behaviour

Neenu Garg


Sreedurga Gogulapati

Suchetana Goswami

Ross Grassie

Kenza Hammam

Mario Herrero Gonzalez


Seyed Amir Hosseini Beghaeiraveri

Big Data, Semantic Web, Knowledge Graphs, Distributed Computing, Security

Zeeshan Jan


Ohad Kammar

My research revolves around programming language theory, and I'm also interested in logic. So far, I have focused on computational effects and their relationship with other programming features. Recently I have also been interested in statistical probabilistic programming languages, for statistical modelling.

Dimitris Karakostas

Jonas Landman

Dominik Leichtle

Ester Livshits


Peter Macgregor

Unsupervised learning, algorithmic spectral graph theory

Eliott Mamon

Cristina Matache

Justus Matthiesen

Mary Milad

Jonathan Miller

Vishvajeet Goje Nagargoje

Theoretical Computer Science

Wilmer Ricciotti

Joschka Roffe

Quantum Computing, Quantum Error Correction, Quantum Compiling

Debasis Sadhukhan

While quantum computers are, in principle, extremely powerful than today's digital computers, noise and lack-of-scalability severely limit their true potential. Quantum simulation with current-generation quantum hardware requires customization to avoid noise as much as possible. Promising candidates in this direction are the so-called variational quantum algorithms. The canonical version of the same cannot be applied directly to any many-body systems, especially to longer-range ones since an exponentially large number of parameters need to be optimized over multiple iterations and therefore such simulation becomes inefficient. I look for ways to customize these protocols such that efficient simulation becomes reality.

Markus Schneider


Jesse Sigal

Adithya Sireesh

Nachi Valliappan

Jiaheng Wang

Algorithms and complexity for counting problems

Mirjam Wester

Speech Recognition, Speech Synthesis and Human Speech Perception