Background
Velev, Miroslav N. Arrived in United States, 1991.
educator entrepreneur inventor Computer Engineer
Velev, Miroslav N. Arrived in United States, 1991.
Bachelor of Science in Electrical Engineering, Yale University, New Haven, Connecticut, 1994. Bachelor of Science in Economics, Yale University, New Haven, Connecticut, 1994. Master of Science in Electrical Engineering, Yale University, New Haven, Connecticut, 1994.
Doctor of Philosophy in Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, 2004.
Technology associate information services Credit Suisse First Boston Corporation, New York City, 1994—1995. Research assistant Carnegie Mellon University, 1995—2001. Visiting assistant professor School electrical and computer engineering Georgia Institute of Technology, Atlanta.
Private practice researcher and consultant, 2003—2005. Founder, president, Chief Executive Officer Aries Design Automation, LLC, since 2005. Assistant professor, department electrical and computer engineering University Illinois, Chicago, since 2006.
Member program committees over 135 international computer science and computer engineering conferences. Co-chair 3rd International Workshop Constraints in Formal Verification, Talin, Estonia, 2005. Chair 6th International Workshop Constraints in Formal Verification, Grenoble, France, 2005, 4th International Workshop Constraints in Formal Verification, Bremen, Germany, 2007, 5th International Workshop Constraints in Formal Verification, Sydney, 2008.
Editorial board member Journal Universal Computer Science, 2001—2008, Journal Satisfiability, Boolean Modeling and Computation, 2003—2008, International Journal Design Analysis & Tools Integrated Circuits & Systems, since 2008, Journal Microprocessors & Microsys., since 2008.
Member of Institute of Electrical and Electronics Engineers (senior ), American Association for Artificial Intelligence, American Society for Engineering Education, Association for Computing Machinery.