orionpapadakis
Electronics & Computer Engineer, Postdoctoral Research Associate at The University of Manchester
The University of ManchesterManchester
Pinned Repositories
Maxine-Jenkins
Maxine-VM
Maxine VM: A meta-circular research VM
Elegant-Acceleration-Service
ELEGANT Acceleration Service: A web service that provides code that can run on hardware accelerators
Elegant-Code-Verification-Service
A web service that employs the ESBMC and JBMC verification tools to verify C/C++ and Java code.
orionpapadakis's Repositories
orionpapadakis doesn’t have any repository yet.