Brian R LarsonBrian R Larson

Brian R Larson

Research Associate - Kansas State University

Minnesota
Joined Oct 2015

US Food and Drug Administration Scholar in Residence at Kansas State My research treats safety-critical programs, their specifications, and their executions as mathematical objects. Programs annotated with assertions as proof outlines can be transformed into complete proofs by my BLESS proof tool with human selection of tactics.

Connections

No connections yet  

Stats

2

Public Documents

2

Collaborations