John R Harrison

John R Harrison

Amazon Web Services
Geverifieerd e-mailadres voor amazon.com
Geciteerd door 7757
Formalization verification automated reasoning theorem proving
David Alex Lamb

David Alex Lamb

School of Computing, Queen's University
Geverifieerd e-mailadres voor queensu.ca
Geciteerd door 858
software design formalization
Ryan Teeter

Ryan Teeter

Assistant Professor of Accounting and Information Systems, University of Pittsburgh
Geverifieerd e-mailadres voor katz.pitt.edu
Geciteerd door 854
Continuous auditing remote auditing audit automation formalization data standards
Odette Chams-Anturi

Odette Chams-Anturi

Universidad de la Costa
Geverifieerd e-mailadres voor cuc.edu.co
Geciteerd door 227
Ambidexterity Innovation Formalization
Racky Balde

Racky Balde

UNU-MERIT, Maastricht University
Geverifieerd e-mailadres voor maastrichtuniversity.nl
Geciteerd door 120
entrepreneurship formalization Informality taxation employment
Twivwe Siwale

Twivwe Siwale

Country Economist - International Growth Center
Geverifieerd e-mailadres voor theigc.org
Geciteerd door 108
Taxation formalization Institutions
Sina Hazratpour

Sina Hazratpour

Johns Hopkins University
Geverifieerd e-mailadres voor jhu.edu
Geciteerd door 23
Higher Category Theory Homotopy Type Theory Logic and Foundation Formalization AI Safety
Utensil Song

Utensil Song

Independent
Geverifieerd e-mailadres voor mail3.sysu.edu.cn
Geciteerd door 12
Clifford algebras formalization
Alena Gusakov

Alena Gusakov

Masters Student, University of Waterloo
Geverifieerd e-mailadres voor udel.edu
Geciteerd door 12
graph theory combinatorics formalization