Blake Buschur

Blake Buschur is a Hardware Formal Verification Engineer with a passion for formal verification. They currently serve as a Senior Formal Verification Engineer at AheadComputing, having previously held positions at Intel Corporation and Edaptive Computing, Inc. Blake's experience includes internships and roles in electrical engineering, affirming a solid foundation in the field. They earned a Master's degree in Computer Engineering with a focus on VLSI from the University of Cincinnati, where they also completed a Bachelor of Science in Electrical and Electronics Engineering. Blake's career began at Skyline Chili as a Line Cook before transitioning into engineering roles.