Matias Segura is a Master’s student in Computer Engineering at the University of Central Florida. He is continuing his educational career as part of the B.S. to M.S. accelerated program at UCF. Matias has a strong interest in VLSI Verification Methodologies, VLSI Design, FPGAs, and Computer Architecture. He joined the lab to deepen his knowledge in Formal Verification Methods and looks forward to help develop new technologies in the field.
See News Related To Matias Segura
Search for Matias Segura's papers on the Research page
Support
Matias Segura's work and/or funding provided in-part by