Educational and Professional Background

EMPLOYMENT SUMMARY


EDUCATION

LICENSURE

PROFESSIONAL ACTIVITIES

  • Book series editor of the Digital Circuits and Systems series for Morgan-Claypool Publishers (since October 2005)
  • Editorial Board Member, International Journal of Highly Reliable Electronic Systems, (2007-2010)
  • Chair (2010-2011), Member in "at-large" position (2007-2009) of the IEEE Computer Society Technical Committee on Multiple-Valued Logic (TCMVL)
  • Member, (2010-2011), Technical Activities Committee, IEEE Computer Society
  • Chair (2009-2011), Vice Chair (2002-2008), Member (1998-2002 and 2012 to present), EPE subcommitte working group member for the National Council of Examiners for Engineering and Surveying (Problem writing/reviewing for the national electrical PE test).
  • Vice Chair (2011-2013), Chair (2009-2011), Member (2003-2008) of IEEE-USA Committee on Licensure and Registration. Responsible for advising IEEE-USA on issues regarding licensure and registration of professional engineers.
  • Member (2010-2014), IEEE Computer Society Educational Activities Board Computer Engineering Curriculum Task Force, responsible for updating the IEEE recommended curriculum for all computer engineering undergraduate programs used by US universities and ABET known as CE2017
  • IEEE Appointed Liaison (2010 to 2014), AAES/NCEES (American Association of Engineering Societies/National Council of Examiners for Engineering and Surveying) Professional Licensure Group, responisble for representing IEEE interests in joint AAES/NCEES issues
  • Upsilon Pi Epsilon Chapter Advisor of the Kappa Chapter at Southern Methodist University, 2005 to 2009
  • Paper/Proposal Reviewing: NSF Proposals, Various IEEE, ACM and IEE Journals and Sponsored Conference Proceedings
  • Membership: IEEE (senior member), IEEE Computer Society, IEEE Circuit & Systems Society, ACM (senior member), ACM-SIGDA, ASEE, NSPE, TSPE
  • Selected Conference and Workshop Leadership Positions:
  • University Service:
    • (SMU)  Member, OE2C IT Initiative Academic Sub-Team (2015)
    • (SMU)  Member, SMU Center for Scientific Computation Board (2013-present)
    • (SMU)  Chair, Lyle School Academic Computing Committee (2013)
    • (SMU)  Member, Intellectual Property Committee (2013-2014)
    • (SMU)  Member, President's Scholar Reading Team (2013)
    • (SMU)  Member, Hunt Scholar Interviewing Team (2013)
    • (SMU)  Participant, Provost's Emerging Leaders Seminar Series (2013)
    • (SMU)  Senator (Lyle Engineering position) (2009-2012)
    • (SMU)  Senator (at-large position) (2004-2007)
    • (SMU)  Senate Academic Policy Committee (2009-2012, Chair 2011-2012)
    • (SMU)  Provost's Information Technology Advisory Council (2009-2012, Chair 2011-2012)
    • (SMU)  Provost's Quality Enhancement Plan Selection Committee (2009)
    • (SMU)  Provost's Promotion and Tenure Committee (2008-2011)
    • (SMU)  Member Lyle School of Engineering Promotion and Tenure Committee (2011-2012)
    • (SMU)  Member CSE Department Faculty Search Committee (2011-2012)
    • (SMU)  Chair CSE Department Faculty Search Committee (2009-2010 & 2010-2011)
    • (SMU)  Coordinator, ABET Computer Engineering program re-accreditation (2006-2009)
    • (SMU)  Member University Intellectual Property and Patents Committee (2004-2008)
    • (SMU)  Member All-University Finance Committee (2004-2007)
    • (SMU)  Chair School of Engineering Academic Affairs Committee (2007-2008)
    • (SMU)  Member School of Engineering Academic Affairs Committee (2003-2007)
    • (SMU)  Chair CSE Department Undergraduate Program Committee (2005-2007)
    • (SMU)  Member CSE Department Undergraduate Program Committee (2007-2010)
    • (SMU)  Chair CSE Department Faculty Affairs Committee (2004-2005)
    • (SMU)  Chair CSE Department Faculty Search Committee (2004-2005)
    • (SMU)  Member CSE Department Graduate Program Committee (2002-2005)
    • (SMU)  Founding Faculty Advisor CSE Upsilon Pi Epsilon honor society (2003-2009)
    • External Tenure-case Reviewer for Several Universities
    • External Ph.D. and M.S. Committee Member for Several Universities
    • ABET: Participation in numerous accreditation visits (several universities), Self-Study report author, mock ABET visitor
    • Active involvement in Senior Design Classes as project mentor
    • Numerous other committee assignments in past

FUNDED RESEARCH

  • Design and Implementation of OBDD Variable Ordering/Reordering Methods, National Science Foundation, September 1996, CCR-9633085, transferred to CCR-0096055 (PI).
  • Design and Simulation of a Processing Element Node for a Decoupled Multi-Threaded Computer, Arkansas Science and Technology Authority, October 1996, 97-B-12, (PI).
  • Infrastructure and Faculty Fellowship Request for Configurable Computing, Arkansas Space Grant Consortium/NASA, October 1997, (PI).
  • High Speed Parallel Fiber Optic Data Bus Components for NMP, Space Photonics, Inc., July 1998, (Co-PI).
  • Implementation of ASM using an FPGA Based Co-processor, Acxiom Corporation with 100% match from the Arkansas Science and Technology Authority, 99-A-01, September 1998, (PI).
  • U.S.-Germany Cooperative Research: Spectral Techniques in VLSI CAD Using AND/OR Graphs, National Science Foundation, March 1999, INT-9815371, transferred to INT-0096008 (PI).
  • Development of Integrated Passive Components, Arkansas Science and Technology Authority, 99-A-06, April 1, 1999, (Co-PI).
  • Query Optimization Using Automated Logic Synthesis Techniques, Mississippi State University Research Initiation Program, January 1, 2000-December 31, 2000, (PI).
  • Statistical Equivalence Checking Using Partial Haar Spectral Diagrams, National Science Foundation, June 2000, CCR-0000891, transferred to CCR-0243358 (PI).
  • Self-timed FPGA Systems, National Science Foundation, June 2001, CCR-0098272, (Co-PI).
  • Evolutionary Algorithms for Symbolic FSM Equivalence Checking, National Science Foundation, June 2001, CCR-0097246, transferred to CCR-0243365 (PI)
  • An Integrated Approach for Circuit Design Validation, Texas State Advanced Technology Program,  January 1, 2003 - December 31, 2005, 003613-0029-2003 (Co-PI).
  • Laboratory Educational Equipment Request, SMU President's Partner Grant Program, May 7, 2004, (PI).
  • Product Development Process Improvement Research, Lockheed-Martin, Missiles and Fire-Control Division, Grand Prairie, Texas, 10/01/05, (Co-PI).
  • Re-engineering Not-for-profit Technical Organizations for Transition to Market-Driven Enterprises: Strategies, Models, and Application to the Technical Information Center, Signal Technologies Inc. (subcontractor to U.S. Army, Information Systems Engineering Command), 07/01/05, (Co-PI).
  • Large Systems Design and the Axiomatic Process, Office of Naval Research (ONR), April 1, 2009 - December 31, 2009, N000140910784 (PI).
  • Information Assurance Scholarship Program, Department of Defense, (DoD), August 1, 2009 - July 31, 2010, H98230-09-1-0396, (Co-PI).
  • Design, Implementation, and Evaluation of Efficient In-Line Memory Encryption Algorithms, Lockheed-Martin Aeronautics, Fort Worth, Texas, August 2010 - December 2010, (Co-PI).
  • Information Assurance Scholarship Program, Department of Defense, August 2010 - July 2011, (Co-PI).
  • Secure Smart Meter Firmware Research and Development, PayGo Electric, Alpharetta, Georgia, September 2010 - May 2011, (PI).
  • Smart Meter & DPA Resistant Encryption Research, Revere Security, Dallas, Texas, October 2010-August 2011, (PI).
  • Investigative Methods of Establishing Hardware Trust Centers with a Focus on Detection of Trojans at the Register Transfer Level (RTL) During the Device Design Stage, Lockheed-Martin Aeronautics, Fort Worth, Texas, June 30, 2011 - May 31, 2012, (Co-PI).
  • A Register Transfer Level Toolset for Low Power Asynchronous Design Using Null Convention Logic, National Science Foundation, July 2011-June 2014, CCF-1116405, (PI).
  • Information Assurance Scholarship Program & Support for IA Research and Education at SMU, Department of Defense, August 2011 - July 2012, (Co-PI).
  • Verification of Security Properties Using a Model Checking Framework, Center for Education and Research in Information and Infrastructure Security at the University of Texas at San Antonio, (subcontractor to Raytheon Intelligence, Information and Services), December 2011 - May 2011, (PI).
  • Radiation Hardened Standard Cell Library Design and Benchmarking Research, Silicon Space Technology, Austin, Texas, January 2012 - June 2012, (PI)
  • Information Assurance Scholarship Program, Department of Defense, September 2013 - September 2014, (Co-PI).
  • Formal Cyber Mission Planning and Analysis: Security Properties, Raytheon Intelligence, Information and Services, December 2013 - April 2015, (Co-PI).
  • Hardware Testbed and Data Generation for Locating Arbitrary Wireless Devices, SMU Lyle School of Engineering, Interdisciplinary Seed Funding, April 2014 - December 2014, (Co-PI).
  • Formal Analysis of an Innovative Approach for Hardware Security Modules, Krimmeni Technologies, June 1, 2014 - May 31, 2015, (PI).
  • DoD Information Assurance - Information Security Grant Program, NSA/DoD, August 1, 2014 - July 31, 2015, (Co-PI).
  • Multi-Valued Logic Extensions to Formal Methods for Cyber Planning, Raytheon Intelligence, Information and Services, October 1, 2014 - June 30, 2015, (Co-PI).
  • A Technical and Policy Evaluation of Mechanisms that Monitor Access to Company Documents, sponsor from financial services sector, January 1, 2015 - December 31, 2015, (Co-PI).
  • Empirical Analysis for Internet-of-Things Security, Rubicon Labs, May 16, 2015 - May 15, 2016, (PI).
  • DoD Information Assurance - Information Security Grant Program, NSA, August 1, 2015 - July 31, 2016, (Co-PI).
  • Multi-Valued Formal Models for Dynamic Cyber Threat Analysis, Raytheon Intelligence, Information and Services, October 1, 2015 - September 30, 2016, (Co-PI).
  • Research on Retrospective Identification of Risk Factors for Insider Threats, sponsor from health services sector, January 1, 2016 - December 31, 2016, (Co-PI).
  • Trusted and Reliable High Performance Computing Architecture and Design, Raytheon Intelligence, Information and Services, January 1, 2016 - December 31, 2017, (Co-PI).
  • Cybersecurity CRADA, Army Research Laboratories (ARL), January 9, 2017.
  • Mission Value Calculus Engine in Support of Decision Making and Asset Allocation, Raytheon Intelligence, Information and Services, August 1, 2017 - December 31, 2017, (Co-PI).
  • IoT Distributed Sensors Research, Raytheon Intelligence, Information and Services, August 1, 2017 - December 31, 2017, (PI).

AWARDS

  • Appointed Cecil H. Green Chair of Engineering, Lyle School of Engineering, Southern Methodist University, February 2015
  • IEEE Computer Society, Certificate of Appreciation for Steering Committee Membership, IEEE/ACM CE2017 Computer Engineering Undergraduate Curriculum Guideline Revision Working Group, March 2012
  • IEEE Computer Society, Certificate of Appreciation for Chairing the Technical Committee on Multiple-Valued Logic, June 2010
  • IEEE-USA Citation of Honor, 2009
  • Inventor Recognition Award, Semiconductor Research Corporation, April 2009
  • Gerald J. Ford Research Fellow, Southern Methodist University, May 12, 2005
  • J. Lindsey Embrey Chair Associate Professor of Computer Science and Engineering (2004 through 2005)
  • Best paper award in the 1994 IEEE International Verilog HDL Conference
  • Outstanding Graduate Faculty Award, Department of Computer Science and Engineering, awarded by the Graduate Student Council of Southern Methodist University, (2 times: April 21, 2005 and April 22, 2008)
  • 2006 Outstanding Professor of the Year Award, Department of Computer Science and Engineering, Southern Methodist University, awarded by the Student Engineering Joint Council (SEJC is composed of undergraduate students)
  • HOPE (Honoring Our Professors Excellence) honoree (3 times: Spring 2006, Fall 2006, and Fall 2009), awarded by students on behalf of the SMU student residence organization
  • Outstanding Researcher in the Department of Computer Systems Engineering at the University of Arkansas, (1998-1999)
  • Texas Instruments Outstanding Researcher in the Department of Computer Systems Engineering at the University of Arkansas, (2 times: 1996-1997 and 1997-1998)
  • 1994 Frederick R. Terman award for outstanding Research Assistant in the Department of Computer Science and Engineering at Southern Methodist University
  • Membership in Eta Kappa Nu, Sigma Xi, Upsilon Pi Epsilon and Phi Kappa Phi honor societies

SUMMARY OF PROFESSIONAL EXPERIENCE

  • Acting Chair, Department of Computer Science and Engineering, Southern Methodist University
  • Cecil H. Green Chair of Engineering, and Professor (2015 to present), Professor (2006 to 2015), (2002 to 2006: Associate Professor), Southern Methodist University, Dept of Computer Science and Engineering, and, by courtesy, Dept. of Electrical Engineering, Dallas, Texas. Undergraduate/graduate level teaching, research and service.
  • Research Director (2017 to present), Darwin Deason Institute for Cyber Security, Southern Methodist University
  • Technical Director (2014 to 2016), Darwin Deason Institute for Cyber Security, Southern Methodist University
  • Associate Professor (1999-2002), Mississippi State University, Dept of Electrical and Computer Engineering, Starkville, Mississippi. Undergraduate/graduate level teaching, research and service.
  • Associate Professor (1999), Assistant Professor (1995-1999), University of Arkansas, Dept of Computer Systems Engineering, Adjunct Assistant Professor (appointed July 1, 1996), Dept of Electrical Engineering, Adjunct Assistant Professor (appointed August 1997) Dept of Computer Science, Fayettville, Arkansas. Undergraduate/graduate level teaching, research and service. The Department of Computer Systems Engineering and Computer Science have since been merged as the Department of Computer Science and Computer Engineering.
  • Summer of 1992: Engineer at Cyrix, Inc. Aided in the RTL level design of the bus controller for the M1 microprocessor, a Pentium class chip. Generated operating systems level test code in X86 assembler to perform tasks such as page fault handling, overflow exception handling, testing of cache and branch prediction circuitry.
  • Senior Electronic Systems Engineer (17 April 1989 to 9 August 1991) in the Special Systems group at E-Systems. Responsible for calibrating, maintaining and upgrading airborne direction finding systems. Performed Systems level design and integration of RF airborne equipment. These duties also included interacting with subcontractors and customers.
  • Engineer/Analyst (23 July 1986 to 17 April 1989) in the Analytical Techniques group at E-Systems. Responsibilities included modeling of communication systems and emitter location techniques, signal analysis, analysis of the capabilities of various error correction and detection codes, analysis, design and flight test of direction finding systems, radome and antenna system analysis and interfacing test equipment to minicomputers.
  • Research Technician (Summers of 1984, 1985) at Amoco Research Center in the Modeling and Inversion group. Duties included using existing geophysical modeling and inversion computer programs and developing new programs under the supervision of a Geophysicist.
  • Research Technician (Summers of 1982, 1983, 1984) at Amoco Research Center in the Seismometer Recorder Group. Duties included maintenance and repair of prototype circuits and the development of a Z-80 based automated power supply testing system.

PUBLICATIONS

               IEEE Xplore             Google Scholar              Microsoft Academic           

 DBLP          CiteSeer