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 (32)
windows10
fivem10
windows-package-manager10
authentication9
beautify9
spotify9
css8
security8
sms8
hardware7
ruby7
e-mail7
handwriting6
natives6
cli6
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 - Feb 2026
Contributions:10 pushes, 1 branch in 5 years 7 months
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.