pantazis

user stats

Member SinceMay 16, 2013
Last VisitJune 2, 2015

Contact

developer for

GPUVerify: A verifier for GPU kernels
P: A language for asynchronous event-driven programming

pantazis

personal statement

PhD student in Imperial College London

activity stream

No activity in the last 60 days.