Michael Castiglia
Silicon Design Engineer - Formal Verification
Orlando, Florida, United States
Summary
👤
Senior🎓
Top SchoolMichael Castiglia is a silicon design engineer specializing in formal verification for GPUs and AI, currently on AMD's graphics formal verification team and pursuing an MS in Computer Engineering at UCF. With nine years of hands-on experience and multiple AMD internships, he blends industry-grade verification on GPU architectures with research-driven automation in the DRACO Lab focused on hardware trust and malicious-logic detection. A top academic performer and Florida Benacquisto Scholar, he pairs technical depth with leadership as an IEEE-HKN president, mentor, and project lead for AMD’s Open Hardware Competition entry. His background spans practical systems work—from co-founding e-commerce/operations tech—to power generation internships and long-term involvement in competitive robotics, highlighting a rare mix of hardware, AI-accelerated verification, and operational execution.
9 years of coding experience
No Degree, High School Dual Enrollment, 4.0, No Degree, High School Dual Enrollment, 4.0 at Palm Beach State CollegeHigh School Diploma, Math, Science, and Engineering, 5.1045 Weighted, High School Diploma, Math, Science, and Engineering, 5.1045 Weighted at Suncoast Community High SchoolMaster of Science - MS, Computer Engineering, Master of Science - MS, Computer Engineering at University of Central Florida
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (42)
microsoft10
windows10
fivem10
windows-package-manager10
manifest10
beautify10
windows-service10
mdt10
powershell10
winget10
package-manager10
authentication9
sms9
factor9
spotify9
Programming languages (11)
Github contributions (5)
mcastiglia/rookiehacks
May 2020 - Jun 2021
Gathers information from the National Weather Service in the United States and relays back in Discord using embeds. This bot was made for the Major League Hacking (MLH) RookieHacks Event spanning from 05/29/2020 to 05/31/2020
Contributions:1 release, 3 reviews, 3 PRs in 1 year
nationalmajor-league-hackingpythondiscordbot
mcastiglia/mcastiglia
Jul 2020 - Jul 2024
Contributions:9 pushes, 1 branch in 4 years
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.