Dr. Schubert's primary focus is on teaching and he directs the ECE MS graduate track in Design Verification and Validation. Prior to joining the ECE department, he was at Intel Corporation for 17 years in Hillsboro, Oregon, where he was a senior pre-silicon validation manager for many generations of microprocessor designs. He also led Intel's largest formal verification team develop techniques that were applied across the company. Earlier in his career, he was an Assistant Professor in the Department of Computer Science at PSU and an operating systems software developer. Dr. Schubert has authored or co-authored 16 peer-reviewed papers and co-authored a book on formal verification.
Research Interest and Expertise:
- Design Verification and Validation
- Formal Methods
- Hardware Emulation
- Computer Architecture
Courses Taught:
- ECE 362 Embedded Operating Systems
- ECE 508 Python and Scripting Workshop
- ECE 560 Assertion Based Verification
- ECE 593 Fundamentals of Pre-Silicon Validation
- ECE 595 Emulation and Functional Specification Verification