Announcement
Dejan Jovanović joins Axiom
Axiom says Jovanović previously worked as a senior applied scientist at AWS's Automated Reasoning Group.
TLDR
Jovanović says he has joined Axiom to pursue its mission to “formalize, prove, and verify everything.” Axiom welcomed him, describing him as a former senior applied scientist at AWS's Automated Reasoning Group and an expert in software verification.
Combined views
2.8K
3 Sources, first seen ago