Vasileios joined the IRIS team at Imperial in April 2021, and he is working with Alastair and John on formalising the semantics of graphics shader languages. Vasileios previously was a doctoral researcher at the University of Sussex.
Welcome to Vasileios Klimis
interfacereasoning.com 