Hi, my name is Michael. I am currently studying in the Master's of Science in Computer Engineering at the University of Central Florida and am performing research on formal hardware security and verification in the DRACO Laboratory led by Dr. Mike Borowczak, with support from Advanced Micro Devices.
In my time away from school, I am the UCF IEEE-HKN Zeta Chi President, IEEE Orlando Young Professionals Chair, and enjoy volunteering for FIRST Robotics Competition and University organized events, including Hackathons and Game Jams.
If you would like to contact me, email me at michael@mcastiglia.com or send a message through my website.