Steven M Awodey

Carnegie Mellon University

$378,581

Attributed

$378,581

Total exposure

Grants

Lead (contact PI)

Attributed= this PI's even-split share of every grant they're on (the fair, additive number). Exposure = full size of all those grants. They are the sole PI on all grants (the two match).

Funding over time

peak $279.1K · FY2005–23

$500K$375K$250K$125K$0

'05

'06

'07

'08

'09

'10

'11

'12

'13

'14

'15

'16

'17

'18

'19

'20

'21

'22

'23

Funding mix

By agency

NSF$378,581 · 6

By mechanism

—$378,581 · 6

Top collaborators

No co-investigators on record.

Grant awards (6)

Conference: Student Support for Second International Conference on Homotopy Type Theory (HoTT 2023)$24,000

· FY2023 · MPS · contact PI

Summer School on Homotopy Type Theory 2019$24,000

· FY2019 · MPS · contact PI

Semantics of Proofs and Certified Mathematics - Participant Support$25,000

· FY2013 · CSE · contact PI

PARTICIPANT SUPPORT FOR ATTENDANTS TO THE CONFERENCE: TYPE THEORY, HOMOTOPY THEORY AND UNIVALENT FOUNDATIONS$21,022

· FY2013 · MPS · contact PI

Homotopy and Type Theory$279,145

· FY2010 · MPS · contact PI

Graduate Student Support for Summer School in Topos Theory$5,414

· FY2005 · MPS · contact PI