David Thibodeau

Computer Science · Physical Sciences

6h-index191citations25works0.02yr avg
OpenAlex↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(9), Formal Methods in Verification(6), Blockchain Technology Applications and Security(6), Logic, Reasoning, and Knowledge(6), Agricultural Economics and Policy(5)

Publications25 total

Pricing Security in Proof-of-Work Systems
arXiv (Cornell University)·2020· 1 citedOpen Access
Greedy but Cautious: Conditions for Miner Convergence to Resource Allocation Equilibrium
arXiv (Cornell University)·2019· 5 citedOpen Access
A Type Theory for Defining Logics and Proofs
2019Open Access
Cocon: Computation in Contextual Type Theory
arXiv (Cornell University)·2019· 3 citedOpen Access
Bonded Mining: Difficulty Adjustment by Miner Commitment
Lecture notes in computer science·2019· 1 citedOpen Access
A case study in programming coinductive proofs: Howe’s method
Mathematical Structures in Computer Science·2018· 10 citedOpen Access
Using Economic Risk to Model Miner Hash Rate Allocation in Cryptocurrencies
arXiv (Cornell University)·2018Open Access
Using Economic Risk to Model Miner Hash Rate Allocation in\n Cryptocurrencies
arXiv (Cornell University)·2018Open Access
Index-Stratified Types (Extended Version)
arXiv (Cornell University)·2018Open Access
Using Economic Risk to Model Miner Hash Rate Allocation in Cryptocurrencies
Lecture notes in computer science·2018· 5 cited
Index-Stratified Types
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2018· 6 citedOpen Access
Indexed codata types
ACM SIGPLAN Notices·2016· 3 cited
Indexed codata types
2016· 9 cited
TWO ESSAYS ON THE ESTIMATION OF AGRICULTURAL TRADE FLOWS: MODEL SELECTION AND ENDOGENEITY OF TRADE AGREEMENTS
2015· 1 cited
Unnesting of Copatterns
Lecture notes in computer science·2014· 13 cited
Copatterns
ACM SIGPLAN Notices·2013· 19 cited
Copatterns
2013· 103 cited
Teacher Appraisal in London Schools: A Cross-Cultural Perspective
OpenCommons - UConn (University of Connecticut)·2013Open Access
Simultaneous Estimation of Cost and Distance Function Share Equations
Canadian Journal of Agricultural Economics/Revue canadienne d agroeconomie·2012· 7 cited
Government support, transfer efficiency, and moral hazard within heterogeneous regions in Canadian Agriculture
2009· 3 citedOpen Access
page 1 of 2Next →

Frequent Co-authors

Brigitte Pientka(10), J. Stephen Clark(6), George Bissias(6), Brian Neil Levine(6), Andreas Abel(5), Anton Setzer(3), Andrew Cave(2), Rohan Jacob-Rao(2), Francisco Ferreira(2), Rébecca Zucchini(2), Alberto Momigliano(1), Lukáš Čechura(1), K. Gary Grant(1), Katerina Prochazkova(1), Rainer Böhme(1), Jinbin Yang(1), Petr Procházka(1), Dick J. Reavis(1), Dick DeGeurin(1), Stuart A. Wright(1)