Thanhvu H Nguyen

University Of Nebraska-Lincoln

$1,593,998

Attributed

$1,593,998

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 $663.2K · FY2020–24

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

'20

'21

'22

'23

'24

Funding mix

By agency

NSF$1,593,998 · 7

By mechanism

—$1,593,998 · 7

Top collaborators

No co-investigators on record.

Grant awards (7)

Collaborative Research: FMitF: Track II: From Theory to Practice: Making Complex Invariants Accessible with DIG$99,246

· FY2024 · CSE · contact PI

CAREER: NeuralSAT: A Constraint-Solving Framework for Verifying Deep Neural Networks$510,509

· FY2023 · CSE · contact PI

FMitF: Track II: Cybolic: a symbolic execution technique and tool for analyzing CMake build scripts$97,242

· FY2023 · CSE · contact PI

CRII: SHF: Analyzing the Linux's KBuild Makefile$32,798

· FY2022 · CSE · contact PI

Collaborative Research: SHF: Medium: Ensuring Safety and Liveness of Modern Systems through Dynamic Temporal Analysis$415,879

· FY2021 · CSE · contact PI

Collaborative Research: SHF: Medium: Ensuring Safety and Liveness of Modern Systems through Dynamic Temporal Analysis$247,349

· FY2021 · CSE · contact PI

CRII: SHF: Analyzing the Linux's KBuild Makefile$190,975

· FY2020 · CSE · contact PI