# Research

## Grants Archive

This is an archive of all grants received by our faculty:

### External research and travel grants

**Collaboration on problems in graph theory, and geometric analysis on graphs**

Simons Foundation Collaboration Grant for Mathematicians, 09/2017-08/2022, $42,000

Paul Horn (PI)

**Ramsey Theory, Set Theory, and Tukey Order**

National Science Foundation, 2016-2019, $129,995

Natasha Dobrinen (PI)

**Curvature and Geometric Analysis of Graphs**

Mathematical Sciences Program at National Security Agency, 2016-2017, $40,000

Paul Horn (PI)

**Topics in Symbolic Dynamics**

National Science Foundation, 2015-2018, $161,416

Ronnie Pavlov (PI)

**Moufang Semiloops**

Simons Foundation Collaboration Grant for Mathematicians, 09/2015-08/2020, $35,000

Michael Kinyon (PI)

**Health Monitoring System**

ICT Fund, UAE, 2014-2016, AED 2,728,948 = $742,934

Shayma Alkobaysi (PI, UAEU), Petr Vojtechovsky (consultant), et al.

**Vertex Algebras, Invariant Theory, and Commutative Algebra**

Simons Foundation Collaboration Grant for Mathematicians, 09/2014-08/2019, $35,000

Andrew Linshaw (PI)

**Ramsey Theory, Set Theory, and Tukey Order**

National Science Foundation, September 2013-August 2016, $114,368

Natasha Dobrinen (PI)

**Random Graphs: A Mathematical Physics Perspective**

National Science Foundation, July 2013-May 2016, $100,831

Mei Yin (PI)

**CNIC:US-UAE Planning Visit: Development of Research Collaborations on Spatio-temporal Modeling and Analysis of Mobile Sensor Data in Evaluating Environmental Exposures**

National Science Foundation, October 2013-September 2014, $34,598

Wan Bae (PI, University of Wisconsin-Stout), Petr Vojtechovsky (consultant)

**Classification of Tukey types of ultrafilters**

Simons Foundation Collaboration Grant for Mathematicians, 09/2012-08/2017, $35,000

Natasha Dobrinen (PI)

**Algebraic Proof Theory**

Simons Foundation Collaboration Grant for Mathematicians, 09/2012-08/2017, $35,000

Nikolaos Galatos (PI)

**Computational Aspects of Loop Theory**

Simons Foundation Collaboration Grant for Mathematicians, 09/2011-08/2007, $35,000

Petr Vojtechovsky (PI)

**Walks on Ordinals**

NSF-AWM Mentoring Travel Grant, 2010, $2,800

Natasha Dobrinen (PI)

### External math education grants

**Access in Mathematics for All: Increasing the number of diverse and low-income STEM majors who become secondary school mathematics teachers**

National Science Foundation, 09/2014-08/2016, $349,971

Richard Kitchen (PI, College of Education), Alvaro Arias (co-PI), et al.

**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

**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)

**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)

### External conference grants

**Fourth Mile High Conference on Nonassociative Mathematics**

National Science Foundation, 2017, $15,000

Petr Vojtechovsky (PI) and Michael Kinyon (co-PI)

**Collaborative Research: Rocky Mountains-Great Plains Graduate Research Conferences in Combinatorics**

National Science Foundation, 2016, $91,393

P. Horn (PI), M. Lopez (co-PI), M. Yin (co-PI)

**3rd Rocky Mountains-Great Plains Graduate Research Conference in Combinatorics**

National Security Agency, 2016, $11,259

P. Horn (co-PI)

**2015 Rocky Mountain-Great Plains Graduate Research Workshop in Combinatorics**

Natoional Science Foundation, 2015, $23,408.00

Leslie Hogben (PI, Iowa State), P. Horn (co-PI), et al.

**The Rocky Mountain-Great Plains Graduate Workshop in Combinatorics**

National Science Foundation, 2014, $23,996

M. Ferrara (PI, CU Denver), P. Horn (co-PI), et al.

**Conference on Infinitary Ramsey Theory**

National Science Foundation, 2014, $10,200

Natasha Dobrinen (PI)

**2014 Pingree Park Dynamical Systems School: Foundations and Frontiers of Symbolic Dynamics**

National Science Foundation, 2014, $25,000

Nicholas Ormes (PI) and Ronald Pavlov (co-PI)

**3rd Mile High Conference on Nonassociative Mathematics**

National Science Foundation, 2013, $18,000

Michael Kinyon (PI) and Petr Vojtechovsky (co-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 (co-PI), Alvaro Arias (co-PI)

**Pingree Park Dynamical Systems Workshop 2010**

National Science Foundation, 2010, $24,000

Dan Rudolf (PI, CSU), Nic Ormes (co-PI), et al.

**2nd Mile High Conference on Nonassociative Mathematics**

National Science Foundation, 2009, $24,000

Petr Vojtechovsky (PI), Michael Kinyon (co-PI)

**BLAST**

National Science Foundation, 2008, $27,390

Nick Galatos (PI), Natasha Dobrinen (co-PI)

### Internal research and travel grants

**Classification of nonassociative binary algebras**

PROF research grant, 2016, $17,320

Petr Vojtechovsky (PI)

**Combinatorial Aspects of Sensor Networks**

PROF research grant, 2015, $29,479

P. Horn and M. Lopez (PIs)

**Quantum Hyper-Topologies**

PROF research grant, 2013, $20,000

Frederic Latremoliere (PI)

**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)