교수 정보를 불러오는 중이에요.
교수 정보를 불러오는 중이에요.
Professor of Philosophy and Mathematical Sciences, Director of the Charles C. Hoskinson Center for Formal Mathematics · Math
최근 5년 논문에서 각 분야가 차지하는 비중 (OpenAlex 분류)
NSF·NIH 공개 데이터에서 교수 이름과 소속으로 자동 매칭한 책임연구자(PI) 과제예요. 국방부·에너지부·기업·재단 연구비는 포함되지 않아요. NSF는 과제 총액, NIH는 최근 회계연도 금액이에요. (2026년 10월 29일 확인)
Leonardo de Moura, Soonho Kong, Jeremy D. Avigad, Floris van Doorn, Jakob von Raumer
Lecture notes in computer science · 2015인용 419회논문 보기
Georges Gonthier B, Andrea Asperti, Jeremy D. Avigad, Yves Bertot, Cyril Cohen, François Garillot, …
Lecture notes in computer science · 2013인용 297회논문 보기
Jeremy D. Avigad, Solomon Feferman
Studies in logic and the foundations of mathematics · 1998인용 224회논문 보기
Jeremy D. Avigad, EDWARD DEAN, John Mumma
The Review of Symbolic Logic · 2009인용 170회논문 보기
Sicun Gao, Jeremy D. Avigad, Edmund M. Clarke
Lecture notes in computer science · 2012인용 154회논문 보기
최근에도 활발히 연구하는지 한눈에 볼 수 있어요.