Research
Grants
Our faculty recently received or collaborated on the following grants:
External grants
3rd Mile High Conference on Nonassociative Mathematics
National Science Foundation, 2013, $18,000
Michael Kinyon (PI) and Petr Vojtechovsky (co-PI)
Classification of Tukey types of ultrafilters
Simons Foundation Collaboration Grant for Mathematicians, 2012, $35,000
Natasha Dobrinen (PI)
Algebraic Proof Theory
Simons Foundation Collaboration Grant for Mathematicians, 2012, $35,000
Nikolaos Galatos (PI)
Kids Play Math Primary School Mathematics Education and Teacher Training Program
Toyota USA Foundation, 2012, $499,545,
Mario Lopez, Alvaro Arias and Jeff Farmer (co-PIs)
Improving Teacher Quality
Colorado Department of Education, 2012, $300,000
Kent Siedel (PI, College of Education), Jeff Farmer (mathematics lead), Allegra Reiber
Computational Aspects of Loop Theory
Simons Foundation Collaboration Grant for Mathematicians, 2011, $35,000
Petr Vojtechovsky (PI)
Pingree Park Dynamical Systems Workshop 2011
National Science Foundation, 2011, $20,000
Nic Ormes (PI), Ronnie Pavlov (co-PI)
GPOTS
National Science Foundation, 2010, $47,209
Frederic Latremoliere (PI), Nic Ormes, Alvaro Arias (co-PIs)
Walks on Ordinals
NSF-AWM Mentoring Travel Grant, 2010, $2,800
Natasha Dobrinen (PI)
Eagle County Schools Math/Science Partnership
Colorado Department of Education, 2010, $60,000 (DU subcontract amount)
Jeff Farmer (PI), Paul Michalec (Co-PI, College of Education)
Pingree Park Dynamical Systems Workshop 2010
National Science Foundation, 2010, $24,000
Dan Rudolf (PI, CSU), Todd Fisher (co-PI, BYU), Nic Ormes (co-PI)
2nd Mile High Conference on Nonassociative Mathematics
National Science Foundation, 2009, $24,000
Petr Vojtechovsky (PI), Michael Kinyon (co-PI)
Enhancing Early Mathematics Learning and Assessment via Interactive Computer Games
Department of Health and Human Services, Head Start Innovation and Improvement Grants, 2008, $894,075
M. Lopez (PI), A. Arias, J. Farmer, C. Malloy (co-PIs)
BLAST
National Science Foundation, 2008, $27,390
Nick Galatos (PI), Natasha Dobrinen (co-PI)
Internal research and travel grants
Loop Theory: A Textbook
PROF research grant, 2012, $25,280
Michael Kinyon and Petr Vojtechovsky (PIs)
Proof Theory in Lattice-Ordered Groups
Faculty Research Fund, 2012, $3,000
Nick Galatos (PI)
Automatic Quasigroups
Faculty Research Fund, 2012, $3,000
Michael Kinyon (PI)
Subtle Measurements on Large Spaces
Faculty Research Fund, 2010, $3,000
Natasha Dobrinen (PI)
Prof. J. Raftery, University of KwaZulu-Natal
International Scholar Grant, 2010, $2,000
Nick Galatos (PI)
Dr. Katherine Thompson, University of Vienna
Marsico Medium Term Grant, 2010, $2,000
Natasha Dobrinen (PI)
Algebraic Proof Theory
PROF research grant, 2009, $14,738
Nick Galatos (PI)
Hypersequent Calculi
Internationalization Grant, 2009, $2,000
Nick Galatos (PI)
Prof. Ales Drapal, Charles University in Prague
Marsico Long Term Grant, 2009, $40,000
Michael Kinyon (PI), Petr Vojtechovsky (co-PI)
Incidence relations based on coset decompositions
PROF research grant, 2008, $15,000
Michael Kinyon and Petr Vojtechovsky (PIs)
Relational semantics for substructural logics
Faculty Research Fund, 2008, $1,500
Nick Galatos (PI)
Invited tutorial on Residuated Lattices in the Czech Republic
International Small Grant, 2008, $500
Nick Galatos (PI)
Internal teaching/curricular grants
Creating Online/Hybrid Courses Project
Office of Teaching and Learning, 2012, $3,000 + $3,000
Nick Galatos (PI), Allegra Reiber (PI)
Teaching Excellence in Departments: Mathematics
Office of Teaching and Learning, 2012, $15,000
Nic Ormes (PI), Nick Galatos, Deb Carney (mathematics leads), all math faculty (co-PIs)
Universal Design Project
Office of Teaching and Learning, 2010, $1,000 + $1,000
Deb Carney (PI), Nick Galatos (PI)
Non-classical logics and order theory
Center for Teaching and Learning, 2010, $16,597
Nick Galatos (PI)
Distance Learning Pilot Project
Center for Teaching and Learning, 2009, $3000,
Deb Carney (PI)
Algebra Online
Center for Teaching and Learning, 2008, $17,000
Deb Carney (PI), Michael Kinyon (co-PI)