Sebastian Candelaria is a fourth-year undergraduate Computer Engineering student set to graduate with Honors in Spring 2027. As an AMD Undergraduate Fellow, Sebastian seeks to do research involving formal verification, hardware design, and computer architecture. Sebastian is currently open to new hardware design projects involving new applications of formal verification. Outside of the DRACO Lab, Sebastian supports workshops and projects for IEEE UCF and enjoys playing video games.
See News Related To Sebastian Candelaria
Search for Sebastian Candelaria's papers on the Research page
Support
Sebastian Candelaria's work and/or funding provided in-part by
