Gopalan Nadathur

Professor, Computer Science and Engineering

Research activity per year

If you made any changes in Pure these will be visible here soon.

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.

6 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots.

1 Active
3 Finished

SHF: Small: A Higher-Order Framework for Meta-Theoretic
Nadathur, G.
National Science Foundation
7/1/16 → 6/30/21
Project: Research project
Midwest Verification Day, 2011
Nadathur, G. & Whalen, M. W.
National Science Foundation
8/1/11 → 7/31/12
Project: Research project
SHF:Small: Reasoning about Specifications of Computation
Nadathur, G.
National Science Foundation
6/1/09 → 9/30/14
Project: Research project
Supporting Higher-Order Approaches to Symbolic Computati
Nadathur, G.
National Science Foundation
9/1/04 → 8/31/09
Project: Research project

21 Conference contribution
14 Article
4 Conference article
3 Editorial
More
- 1 Book
- 1 Paper

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
A higher-order abstract syntax approach to verified transformations on functional programs
Wang, Y. & Nadathur, G., 2016, Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Thiemann, P. (ed.). Springer Verlag, p. 752-779 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9632).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
2 Scopus citations
Abella: A system for reasoning about relational specifications
Baelde, D., Gacek, A., Nadathur, G., Wang, Y., Chaudhuri, K., Miller, D. & Tiu, A., 2015, In: Journal of Formalized Reasoning. 7, 2, p. 1-89 89 p.
Research output: Contribution to journal › Article › peer-review
34 Scopus citations
A λprolog based animation of twelf specifications
Southern, M. K. & Nadathur, G., Jun 1 2014, p. 63-78. 16 p.
Research output: Contribution to conference › Paper › peer-review
1 Scopus citations