Axiom says Jovanović previously worked as a senior applied scientist at AWS's Automated Reasoning Group.
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.
—
3 Sources, first seen ago
—
Not ranked yet
—
Not ranked yet
@dddejanUpdate: I've joined @axiommathai on the mission to formalize, prove, and verify everything.
@axiommathaiWe are so excited to welcome Dejan Jovanović, former Senior Applied Scientist at AWS Automated Reasoning Group and an expert in software verification, to Axiom!
@CarinaLHongRT @axiommathai: We are so excited to welcome Dejan Jovanović, former Senior Applied Scientist at AWS Automated Reasoning Group and an expe…@dddejanUpdate: I've joined @axiommathai on the mission to formalize, prove, and verify everything.@axiommathaiWe are so excited to welcome Dejan Jovanović, former Senior Applied Scientist at AWS Automated Reasoning Group and an expert in software verification, to Axiom!@CarinaLHongRT @axiommathai: We are so excited to welcome Dejan Jovanović, former Senior Applied Scientist at AWS Automated Reasoning Group and an expe…@dddejanUpdate: I've joined @axiommathai on the mission to formalize, prove, and verify everything.@axiommathaiWe are so excited to welcome Dejan Jovanović, former Senior Applied Scientist at AWS Automated Reasoning Group and an expert in software verification, to Axiom!@CarinaLHongRT @axiommathai: We are so excited to welcome Dejan Jovanović, former Senior Applied Scientist at AWS Automated Reasoning Group and an expe…@dddejanUpdate: I've joined @axiommathai on the mission to formalize, prove, and verify everything.@axiommathaiWe are so excited to welcome Dejan Jovanović, former Senior Applied Scientist at AWS Automated Reasoning Group and an expert in software verification, to Axiom!@CarinaLHongRT @axiommathai: We are so excited to welcome Dejan Jovanović, former Senior Applied Scientist at AWS Automated Reasoning Group and an expe…
