Kaihua Qin
Hephaestus Compiler Testing Project
Kaihua Qin
Description: PhD student, Imperial College London, London, UK <br/> Security Researcher, zkSecurity
PhD student, Imperial College London, London, UK
Stefanos Chaliasos is a PhD candidate at Imperial College London advised by Dr Ben Livshits , Professor Alastair F. Donaldson , and also externally advised by Dr Arthur Gervais . He holds an MSc in Computer Science from the National and Kapodistrian University of Athens and a BSc in Management Science and Technology from the Athens University of Economics and Business .
He has previously worked as an R&D Engineer in Veridise Inc. developing automated techniques for testing arithmetic circuits implementing zero-knowledge proofs. Furthermore, he worked in the industry as a software engineer at Greek Research and Technology Network (GRNET) and as a researcher in the FASTEN project .
Kaihua Qin
Hephaestus Compiler Testing Project
Kaihua Qin