Ramin Hojati was a founder of Averant in 1997 and serves as their president
Hojati previously worked on layout and logic synthesis tools at Cadence Design Systems.
At U.C. Berkeley, Hojati was involved with Berkeley’s first generation verification system, HSIS. Before that, he was the author of the first BDD-based engine for Lucent Technologies FormalCheck.
Hojati obtained a B.S. from Massachusetts Institute of Technology in math and computer science and an M.S. and Ph.D. in computer science from the University of California, Berkeley.
