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

Find out who is already on Authorea and invite your colleagues to join for a free private article

Gmail Add contacts from gmail

Or

Collab email  light