Peter-Michael S Osera

Grinnell College

$780,617

Attributed

$780,617

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 $524.6K · FY2016–24

$1M$750K$500K$250K$0

'16

'17

'18

'19

'20

'21

'22

'23

'24

Funding mix

By agency

NSF$780,617 · 3

By mechanism

—$780,617 · 3

Top collaborators

No co-investigators on record.

Grant awards (3)

Collaborative Research: FMitF: Track III: Integrating Formal Methods into the Foundational Undergraduate Curriculum$96,015

· FY2024 · CSE · contact PI

CAREER: Foundations and Applications of Constraint-based Synthesis$524,611

· FY2021 · CSE · contact PI

EAGER: Semi-automated Type-directed Programming$159,991

· FY2016 · CSE · contact PI