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
Army Research Office (ARO): 2008
Proposal in response to the Broad Agency Announcement.
University of California: 2001, 2002, 2003, 2005
Internal research grant applications submitted to the MICRO program.
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
ACM Transactions on Design Automation of Electronic Systems (TODAES): 2001, 2002, 2006
Annals of Mathematics and Artificial Intelligence (AMAI): 2002, 2008