Robert Thacker

Robert Thacker

AMD, MTS Silicon Design Engineer

University of Utah

Robert studied Computer Science at the University of Utah, where his research activities focused on cad tool development for asynchronous circuit design and formal verification. He received an SRC fellowship in 1998. He spent 3 years at IBM working on formal verification tools. Robert is currently employed as a flow development engineer at AMD. Robert retired from the U.S. Army in 2018.

Interests

  • Computer Aided Design Software

Education

  • PhD in Computer Science, 2011

    University of Utah

  • MS in Computer Science, 1998

    University of Utah

  • BS in Computer Science, 1996

    University of Utah

  • BS in Computer Engineering, 1996

    University of Utah

  • BA in Spanish, 1996

    University of Utah

Publications