Research Staff

The list of LFCS Research Staff

Nameresearch interests

Sean Adamson

Malin Altenm├╝ller

Sandor Bartha

Ben Benoi

Pauline Besserve

jbobolz.jpg

Jan Bobolz

Cryptography, provable security
rbooth.png

Robert Booth

Brian Campbell

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

Joyentanuj Das

ralmeid3.png

Ricardo De Oliveira Almeida

idudina.jpg

Irina Dudina

Frank Emrich

jcarrasc.jpg

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

sgogulap.jpg

Sreedurga Gogulapati

Suchetana Goswami

Ross Grassie

Kenza Hammam

Mario Herrero Gonzalez

shossei2.jpg

Seyed Amir Hosseini Beghaeiraveri

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

Zeeshan Jan

okammar.jpg

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

pmacgre2.jpg

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

jsigal.png

Jesse Sigal

Adithya Sireesh

Nachi Valliappan

Jiaheng Wang

Algorithms and complexity for counting problems

Mirjam Wester

Speech Recognition, Speech Synthesis and Human Speech Perception