Personal profile
Keywords
- Algorithms
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
#SAT-Algorithms for Classes of Threshold Circuits Based on Probabilistic Rank
Limaye, N., Srinivasan, A. & Srinivasan, S., 20 Aug 2025, 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, p. 1-18 18 p. (Leibniz International Proceedings in Informatics (LIPIcs), Vol. 345).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open Access -
Algorithms for the Diverse-k-SAT Problem: The Geometry of Satisfying Assignments.
Austrin, P., Bercea, I. O., Goswami, M., Limaye, N. & Srinivasan, A., 30 Jun 2025, p. 14:1-14:17.Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research › peer-review
Open Access -
New Bounds for the Ideal Proof System in Positive Characteristic.
Behera, A. R., Limaye, N., Ramanathan, V. & Srinivasan, S., 30 Jun 2025, International Colloquium on Automata, Languages, and Programming. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, p. 1-20 20 p. (Leibniz International Proceedings in Informatics (LIPIcs), Vol. 334).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open Access -
Superpolynomial Lower Bounds Against Low-Depth Algebraic Circuits
Limaye, N., Srinivasan, S. & Tavenas, S., 24 Jul 2025, In: Journal of the ACM . 72, 4, p. 1-35 35 p., 26.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open Access -
Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers
Hakoniemi, T., Limaye, N. & Tzameret, I., 11 Jun 2024, Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers. New York: Association for Computing Machinery, p. 1396 - 1404 8 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open Access
-
BARC2 : Basic Algorithms Research Copenhagen
Husfeldt, T. (PI), Limaye, N. (CoI), Björklund, A. (CoI), Lebeda, C. J. (CoI) & Hansen, M. R. D. (CoI)
01/01/2024 → 31/12/2029
Project: Research
-
BARC: Basic Algorithms Research Copenhagen
Pagh, R. (PI), Husfeldt, T. (CoI), Björklund, A. (CoI), Lebeda, C. J. (CoI), Nielsen, N. M. S. (CoI), Bercea, I. O. (CoI), Karppa, M. (CoI), Curticapean, R.-C. (CoI), Limaye, N. (CoI), Aumüller, M. (CoI), Sivertsen, J. V. T. (CoI), McCauley, S. (CoI) & Dell, H. (CoI)
01/09/2017 → 31/08/2024
Project: Research
-
DIREC: Digital Research Centre Denmark
Godskesen, J. C. (PI), Barkhuus, L. (PI), Bonnet, P. (PI), Brabrand, C. (PI), Schürmann, C. (PI), Sekara, V. (PI), David, B. M. (PI), Husfeldt, T. (PI), Curticapean, R.-C. (PI), Limaye, N. (PI), Aumüller, M. (PI), Jacob, R. (PI), Risi, S. (PI), Wasowski, A. (PI), Okkels, C. B. (CoI), Berthelsen, K. H. (CoI), Larsen, M. K. (CoI), Schmidt, M. D. (CoI) & Ghaffari, M. (CoI)
01/10/2020 → 30/09/2025
Project: Research
-
-
Press/Media
-
Professor Nutan Limaye receives DKK 12.8 million for research on algebraic complexity
10/02/2026
1 Media contribution
Press/Media: Press / Media
-
Derfor er datalogisk grundforskning vigtig i krisetider
22/07/2025
1 Media contribution
Press/Media: Press / Media
-
-
-
ITU-forsker vinder en af verdens mest prestigefyldte priser inden for teoretisk datalogi
16/12/2021
1 Media contribution
Press/Media: Press / Media
Prizes
-
FOCS Best paper award for 2022
Limaye, N. (Recipient), Srinivasan, S. (Recipient) & Tavenas, S. (Recipient), 2022
Prize: Prizes, scholarships, distinctions