Miroslav Velev's Professional Activities

Keynote Speaker

Invited Speaker

Editorial Board Service

Guest Editor

Panel Participant or Organizer

General Chair

Technical Program Chair

Conference Track/Discipline Chair

Best-Paper Award Committee

Publicity Chair

Plenary Chair

Proceedings Chair

Industry Liaison Chair

Industry/Research Chair

Registration Chair

Treasurer

Student Colloquium Chair

Web-Design Chair

  • MTV '02: 3rd International IEEE Workshop on Microprocessor Test and Verification, Austin, Texas, U.S.A., June 2002.  


Program Committee Service

2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001

Special Session Organizer

Session Chair

Advising Graduate Students and Service on Ph.D. Committees

  • Member of the Ph.D. Proposal and Thesis Committees for Swaha Miller, advised by David Plaisted, Department of Computer Science, University of North Carolina at Chapel Hill, April 2003 - September 2005.  
  • Member of the Ph.D. Proposal Committee for Leandro Barajas, advised by Magnus Egerstedt, School of Electrical and Computer Engineering, Georgia Institute of Technology, September 2002.  
  • Member of the Ph.D. Proposal Committee for Shankar Chandrasekaran, advised by Bruno Frazier, School of Electrical and Computer Engineering, Georgia Institute of Technology, July 2002.  
  • Member of the Faculty-Student Committee, School of Electrical and Computer Engineering, Georgia Institute of Technology, 2002.  
  • Advisor of Paruj Ratanaworabhan, Ph.D. student, School of Electrical and Computer Engineering, Georgia Institute of Technology, August 2002 - May 2003.  
  • Advisor of Sudarshan K. Srinivasan, M.S. student, School of Electrical and Computer Engineering, Georgia Institute of Technology, May 2002 - May 2003.  

Reviewer of Research Grant Applications

  • NASA, Experimental Program to Stimulate Competitive Research (EPSCoR): 2015.  
  • Army Research Office (ARO), Broad Agency Announcement: 2008.  
  • University of California, MICRO Program: 2001, 2002, 2003, 2005.  

Reviewer of Books

  • Kluwer Academic Publishers, 2001:
    R.B. Jones, Symbolic Simulation Methods for Industrial Formal Verification.  
  • Prentice Hall Publishing, 2001:
    M.D. Ciletti, Advanced Digital Design with the Verilog HDL.  
  • McGraw-Hill Publishing, 2001:
    J.P. Shen and M.H. Lipasti, Fundamentals of Superscalar Processor Design.  

Reviewer of Journal Papers

  • Journal of the ACM (JACM): 2000, 2001  
  • IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD): 2000, 2001, 2002, 2005, 2011, 2012  
  • IEEE Transactions on Circuits and Systems II: 2001  
  • IEEE Transactions on Computers: 2001, 2004, 2005, 2008, 2012, 2014  
  • IEEE Transactions on Very Large Scale Integration Systems: 2012, 2014  
  • ACM Transactions on Design Automation of Electronic Systems (TODAES): 2001, 2002, 2006  
  • Annals of Mathematics and Artificial Intelligence (AMAI): 2002, 2008  
  • Embedded Hardware Design (Microprocessors and Microsystems): 2008  
  • Journal of Systems Architecture (JSA): 2001, 2002, 2003, 2004, 2006, 2007, 2008, 2009  
  • Journal of Software Tools for Technology Transfer (STTT): 2001  
  • Journal of Design Automation for Embedded Systems: 2001  
  • IEEE Micro: 2001  
  • Journal of Electronic Testing, Theory and Applications (JETTA): 2003, 2009, 2013, 2014  
  • ACM Transactions in Embedded Computing Systems (TECS): 2003  
  • Information and Computation: 2014  
  • International Journal of Embedded Systems (IJES): 2003  
  • Artificial Intelligence: 2004  
  • Journal of Automated Reasoning (JAR): 2004, 2005, 2006  
  • International Journal of Computers and Applications: 2006, 2009, 2011  
  • Journal of Supercomputing: 2006, 2011, 2012, 2013, 2014  
  • Journal of Systems and Software: 2008  
  • Data & Knowledge Engineering Journal (DKE): 2008, 2009  
  • Journal of Computer Science and Technology (JCST): 2008  
  • Journal of Symmetry: 2010  
  • International Journal of Applied Mathematics & Information Sciences (AMIS): 2013  
  • International Journal of Vehicle Design (IJVD): 2015  

Reviewer of Conference Papers

  • Military Communications Conference (MILCOM): 2010  
  • Design Automation Conference (DAC): 1999 - 2013  
  • International Conference on Parallel Architectures and Compilation Techniques (PACT): 2001, 2002  
  • International Test Conference (ITC): 2001, 2002, 2004, 2005, 2015  
  • International Conference on Computer-Aided Design (ICCAD): 2001 - 2005  
  • IFIP International Conference on Very Large Scale Integration, The Global System on Chip Design & CAD Conference (VLSI-SOC): 2001  
  • International Workshop on Abstract State Machines (ASM), LNCS volume: 2001  
  • International Symposium on Microarchitecture (MICRO): 2001  
  • International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR): 2001  
  • International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES): 2001  
  • International Conference on VLSI Design (VLSI Design): 2002  
  • Asia and South Pacific Design Automation Conference (ASP-DAC): 2002  
  • Asia-Pacific Computer Systems Architecture Conference (ACSAC): 2002  
  • International Symposium on High Performance Computer Architecture (HPCA): 2002  
  • International Symposium on Artificial Intelligence and Mathematics (AIM): 2002  
  • International Symposium on Field-Programmable Gate Arrays (FPGA): 2002  
  • International Parallel and Distributed Processing Symposium (IPDPS): 2002  
  • International Conference on Compiler Construction (CC): 2002  
  • ACM International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS): 2002  
  • Computer-Aided Verification (CAV): 2002, 2003, 2004, 2008, 2013  
  • Formal Methods in Computer-Aided Design (FMCAD): 2002  
  • Conference on Automated Deduction (CADE): 2002  
  • International Conference on Supercomputing (ICS): 2002  
  • ACM SIGDA Ph.D. Forum at the Design Automation Conference: 2002  
  • Frontiers in Education Conference (FIE): 2002  
  • Design, Automation, and Test in Europe (DATE): 2003  
  • Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS): 2003  
  • Great Lakes Symposium on VLSI (GLSVLSI): 2004  
  • International Joint Conference on Automated Reasoning (IJCAR): 2004  
  • International Conference on Computer Design (ICCD): 2004  
  • ACM Symposium on Applied Computing (SAC): 2005  
  • VLSI Test Symposium (VTS): 2005  
  • International Symposium on Signals, Circuits and Systems (ISSCS): 2005  
  • Tools and Algorithms for the Construction and Analysis of Systems (TACAS): 2008  
  • IEEE Canadian Conference on Electrical and Computer Engineering (CCECE): 2010  

Professional Memberships


Listed in the Marquis editions of:



Last updated on April 29, 2022.