News

Events

Oxidize Global

July 18th, 2020

Auxon Joins Volvo and Green Hills to Discuss Rust in Safety Critical Systems

Nathan Aschbacher, Auxon CEO

CES 2020

January 7th - 10th, 2020

Auxon joins Infineon to Showcase Intelligent Analysis Tools for Systems Engineers

TLA+ Conf

January 7th - 10th, 2020

Auxon joins Infineon to Showcase Intelligent Analysis Tools for Systems Engineers

Russell Mull, Auxon Principal Software Engineer

Colorado Gold Rust

September 21st, 2019 @ 4:30PM

A Tour of Empirical Verification in Rust

Zack Pierce, Auxon Principal Software Engineer

Type Theory for the Working Rustacean

October 18th & 19th, 2019

A Tour of Empirical Verification in Rust

Dan Pittman, Auxon Principal Software Engineer