Study programme
Classes
- Data Structures 1NTIN066 | Faculty of Mathematics and Physics
- Automata and Computational ComplexityNMMB415 | Faculty of Mathematics and Physics
- Computational complexity and interactive protocolsNTIN081 | Faculty of Mathematics and Physics
- Nonuniform computational modelsNTIN082 | Faculty of Mathematics and Physics
- Selected Topics in Computational Complexity INTIN085 | Faculty of Mathematics and Physics
- Selected Topics in Computational Complexity IINTIN086 | Faculty of Mathematics and Physics
- Introduction to Information Transmission and ProcessingNTIN100 | Faculty of Mathematics and Physics
- Seminar on theory of computingNTIN102 | Faculty of Mathematics and Physics
Publications
- A SEPARATOR THEOREM FOR HYPERGRAPHS AND A CSP-SAT ALGORITHM2021 | Faculty of Mathematics and Physics
- Space-Optimal Quasi-Gray Codes with Logarithmic Read Complexity2018 | Faculty of Mathematics and Physics
- Simulation beats richness: new data-structure lower bounds2018 | Faculty of Mathematics and Physics
- A Communication Game Related to the Sensitivity Conjecture2017 | Faculty of Mathematics and Physics
- A New Approach to the Sensitivity Conjecture2015 | Faculty of Mathematics and Physics
- Simple, deterministic, fast (but weak) approximations to edit distance and Dyck edit distance2023 | Faculty of Mathematics and Physics
- Locally Consistent Decomposition of Strings with Applications to Edit Distance Sketching2023 | Faculty of Mathematics and Physics
- Streaming k-Edit Approximate Pattern Matching via String Decomposition2023 | Faculty of Mathematics and Physics
- Barrington Plays Cards: The Complexity of Card-Based Protocols2021 | Faculty of Mathematics and Physics
- Improved Bounds on Fourier Entropy and Min-entropy2021 | Faculty of Mathematics and Physics
Loading network view...