Projects per year
Fingerprint
The Fingerprint is created by mining the titles and abstracts of the person's research outputs and projects/funding awards to create an index of weighted terms from discipline-specific thesauri.
- 1 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
Projects
- 4 Finished
-
SHF: Small: A Higher-Order Framework for Meta-Theoretic
Nadathur, G. (PI)
THE NATIONAL SCIENCE FOUNDATION
7/1/16 → 9/30/22
Project: Research project
-
Midwest Verification Day, 2011
Nadathur, G. (PI) & Whalen, M. W. (CoI)
THE NATIONAL SCIENCE FOUNDATION
8/1/11 → 7/31/12
Project: Research project
-
SHF:Small: Reasoning about Specifications of Computation
Nadathur, G. (PI)
THE NATIONAL SCIENCE FOUNDATION
6/1/09 → 9/30/14
Project: Research project
-
Supporting Higher-Order Approaches to Symbolic Computati
Nadathur, G. (PI)
THE NATIONAL SCIENCE FOUNDATION
9/1/04 → 8/31/09
Project: Research project
-
Binding Contexts as Partitionable Multisets in Abella
Gray, T. & Nadathur, G., Jul 8 2024, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 404, p. 19-34 16 p.Research output: Contribution to journal › Conference article › peer-review
Open Access1 Scopus citations -
A Logic for Formalizing Properties of LF Specifications
Nadathur, G. & Southern, M., Sep 20 2022, Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming, PPDP 2022 - Co-located with CLAS 2022 (including LOPSTR 2022). Association for Computing Machinery, 3551377. (Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Adelfa: A system for reasoning about LF specifications
Southern, M. & Nadathur, G., Jul 16 2021, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 337, p. 104-120 17 p.Research output: Contribution to journal › Conference article › peer-review
Open Access2 Scopus citations -
A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller's 60th birthday
Baelde, D., Felty, A., Nadathur, G. & Saurin, A., Sep 1 2019, In: Mathematical Structures in Computer Science. 29, 8, p. 1007-1008 2 p.Research output: Contribution to journal › Editorial › peer-review
Open Access -
Schematic polymorphism in the Abella proof assistant
Nadathur, G. & Wang, Y., Sep 3 2018, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018. Association for Computing Machinery, 15. (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access