Biography
Andey Robins is a Ph.D. student at the DRACO Lab at the University of Central Floridy. Their research interests include formal verification, the combination of software and hardware verification, and applying generative AI to the development of hardware systems.
Interests
- Artificial Intelligence
- Software/Hardware Verification
- Program Synthesis
Education
PhD in Computer Engineering, 2026
University of Central Florida
BSc in Computer Science, 2021
University of Wyoming
Experience
Graduate Research Assistant
Responsibilities include:
- Research
- Mentoring
- Publication
Graduate Researcher
Taught electronic engineering and researched semiconductor physics.
Recent Publications
Selected publications highlighted here. See google scholar for complete publication history.
Contact
Reach out to me at UCF.
- ja548335@ucf.edu
- Engineering 1 @ UCF