Title
Joyner, Jr., Bill (William H.) oral historyCatalog Number
102739973Type
DocumentDescription
Despite growing up in the mountains of Virginia and in a family with no technology roots, Bill Joyner, he found himself interested in math and physics. He entered the engineering school at the University of Virginia in 1964. While there he studied a variety of engineering topics, graduating in 1968 with an interest in programming languages and formal logic. Bill moved onto graduate school at Harvard where he wrote his thesis on “Automatic Theorem Proving and the Decision Problem.”Upon leaving Harvard with his PhD in 1973, he joined IBM where he was initially involved with formal techniques to find problems in microcode. Following this work, he teamed up with John Darringer at IBM to work on Electronic Design Automation (EDA) and in particular on the problem of logic synthesis. His work had a measurable impact on the design of the 3090 computer at the time. Although he held some unrelated positions at times, he continued in his research position at IBM until 1997. At that point he took on the role of IBM’s assignee at the Semiconductor Research Corporation in North Carolina. SRC is a consortium of companies working on long-term research in the semiconductor field. At SRC Dr. Joyner is responsible for the EDA related programs, including funding of research at various universities. While there, Bill has become a true leader in the EDA community with active participation at DAC and with various journals.
Date
2014-11-03Contributor
Fairbairn, Doug, Interviewer |
Fortier, James, Videographer |
Joyner, Jr., Bill (William H.), Interviewee |