Miroslav N. Velev


Founder and President, Aries Design Automation, Chicago, IL

Fellow of AAAS

Associate Fellow of AIAA

ACM Distinguished Member (Distinguished Scientist)

E-mail: mvelev AT gmail DOT com


 Short Curriculum Vitae

Education

Professional Experience

Awards

Research Interests



 Publications & Talks  Professional Activities  Boolean Satisfiability (SAT) Benchmarks


eXTReMe Tracker