Research Staff
The list of LFCS Research Staff
Name | research interests | |
---|---|---|
Cryptography, provable security | ||
Programming languages, including formal modelling of instruction set architectures, capabilities, and resources. | ||
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 | ||
Big Data, Semantic Web, Knowledge Graphs, Distributed Computing, Security | ||
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. | ||
Unsupervised learning, algorithmic spectral graph theory | ||
Theoretical Computer Science | ||
Quantum Computing, Quantum Error Correction, Quantum Compiling | ||
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. | ||
Algorithms and complexity for counting problems | ||
Speech Recognition, Speech Synthesis and Human Speech Perception |