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 |