Skip to main content

Miroslav N. Velev

You are here

First Name: 
Last Name: 
Aries Design Automation

Miroslav N. Velev received B.S.&M.S. in Electrical Engineering, and B.S. in Economics from Yale University in 1994, and Ph.D. in Electrical and Computer Engineering (ECE) from Carnegie Mellon University in 2004. In 2002 – 2003 he was Visiting Assistant Professor in the School of ECE at Georgia Tech. In 2005 he started Aries Design Automation, where he is President, and is leading R&D on formal verification, Boolean Satisfiability (SAT), and related topics.

His research contributions include: the property of Positive Equality, where suitable abstractions in designing pipelined/superscalar/VLIW microprocessors result in a special structure of the correctness formulas that can be exploited automatically in a formal verification tool to produce at least 5 orders of magnitude speedup, and scalability for large and complex designs with minimal manual effort; block-level translation of Boolean formulas to Conjunctive Normal Form (CNF), the most widely used input format of SAT solvers, resulting in at least 2 orders of magnitude speedup, and an order of magnitude increase in capacity with any SAT solver; and hierarchical hybrid encodings for solving of Constraint Satisfaction Problems (CSPs) by efficient translation to equivalent SAT problems, producing up to 8 orders of magnitude speedup.

In the last 20 years, Dr. Velev has served: on the technical program committees of more than 400 conferences; on the organizing committees of more than 60 conferences; as session chair/organizer of more than 100 sessions; as track/discipline chair at 20 conferences; on the best-paper-award committees of 11 conferences, and chaired 3 of them. He has served or serves on the editorial boards of 9 journals, as guest editor of 3 special journal issues on SAT, AI, and formal verification topics, and as Technical Program Chair of four prestigious conferences, including the 36th IEEE/AIAA Digital Avionics Systems Conference (DASC’17), 2017.

Dr. Velev received the EDAA Outstanding Dissertation Award, 2005, and the Franz Tuteur Memorial Prize for Most Outstanding Senior Project in Electrical Engineering, Yale University, 1994. He is: Fellow of the American Association for the Advancement of Science (AAAS), 2017; Associate Fellow of the American Institute of Aeronautics and Astronautics (AIAA), 2017; and Distinguished Member (Scientist) of the Association for Computing Machinery (ACM), 2014.

Contact Information
Mobile Phone: 
Award Information
Award Citation: 
Award Citation:
For contributions to formal verification of microprocessors for aerospace applications and Boolean Satisfiability for SAT solvers.
Award Year:

Field of Interest

“The field of interest shall be the organization, systems engineering, design, development, integration, and operation of complex systems for space, air, ocean, or ground environments. These systems include but are not limited to navigation, avionics, mobile electric power and electronics, radar, sonar, telemetry, military, law-enforcement, automatic test, simulators, and command and control."


Technology Navigator  Spectrum  

Email us at [email protected]