Research output per year
Research output per year
Personal profile
Keywords
- Algorithms
- Computational
- Complexity
- Theory
- Design
Fingerprint
Dive into the research topics where Nutan Limaye is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 6 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
#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
-
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 → 31/12/2025
Project: Research
-
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
-
Tensor network algorithms for large scale learning and simulation
Kastoryano, M. (PI) & Limaye, N. (CoI)
01/03/2023 → 02/03/2023
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
-
-
Prizes
-
FOCS Best paper award for 2022
Limaye, N. (Recipient), Srinivasan, S. (Recipient) & Tavenas, S. (Recipient), 2022
Prize: Prizes, scholarships, distinctions
Activities
- 3 Hosting an academic visitor
-
Paul Huber
Limaye, N. (Host)
16 Feb 2026 → 3 Jul 2026Activity: Hosting a visitor types › Hosting an academic visitor
-
Paul Louis Franz Huber
Limaye, N. (Host)
16 Feb 2026 → 3 Jul 2026Activity: Hosting a visitor types › Hosting an academic visitor
-
Tim Poulsen
Limaye, N. (Host)
22 Feb 2026 → 30 Jun 2026Activity: Hosting a visitor types › Hosting an academic visitor
Courses
-
-
-
-
-
First-year Project: Map of Denmark. Visualization, Navigation, Searching, and Route Planning
01/01/2000 → 30/06/2025
Course