← Leaderboards

Loris Dantoni

University Of Wisconsin-Madison

Google Scholar ↗PubMed ↗ORCID ↗

$5,211,278

Attributed

$9,393,583

Total exposure

14

Grants

12

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.

Funding over time

peak $3.6M · FY2016–24

$5M$3.8M$2.5M$1.3M$0

'16

'17

'18

'19

'20

'21

'22

'23

'24

Funding mix

By agency

NSF$9,393,583 · 14

By mechanism

—$9,393,583 · 14

Top collaborators

Grant awards (14)

SHF: Medium: Reasoning about Multiplicity in the Machine Learning Pipeline$1,200,000

· FY2024 · CSE · contact PI

FMitF : Track I: Aligning Code-Generating Models with Formal Specifications$875,000

· FY2024 · CSE · contact PI

SHF: Medium: Reasoning about Multiplicity in the Machine Learning Pipeline$790,797

· FY2024 · CSE · contact PI

SHF: Medium: Compositional Semantics-Guided Synthesis$719,494

· FY2024 · CSE · contact PI

SHF: Medium: Compositional Semantics-Guided Synthesis$900,000

· FY2022 · CSE · contact PI

SaTC: CORE: Medium: SPIPS: Security and Privacy in Programmable Switches$1,200,000

· FY2020 · CSE

FMitF: Track I: Formal Methods for Explainable Machine Learning$750,000

· FY2019 · CSE · contact PI

Collaborative Research: Verification Mentoring Workshop at Computer Aided Verification 2019-2021$33,200

· FY2019 · CSE · contact PI

NeTS: Medium: Collaborative research: Automatic Network Repair$1,030,000

· FY2018 · CSE · contact PI

CAREER: Program Synthesis with Quantitative Guarantees$500,000

· FY2018 · CSE · contact PI

Midwest Programming Languages Summit 2018$5,000

· FY2018 · CSE · contact PI

SHF: Medium: Formal Methods for Program Fairness$1,014,107

· FY2017 · CSE

AitF: Collaborative Research: Foundations of Intent-based Networking$355,985

· FY2016 · CSE · contact PI

Programming languages mentoring workshop at POPL17$20,000

· FY2016 · CSE · contact PI