Get my own profile
Public access
View all4 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Georgios PiliourasSingapore University of Technology and DesignVerified email at sutd.edu.sg
Francisco BenitaSingapore University of Technology and DesignVerified email at sutd.edu.sg
Stefanos LeonardosLecturer in machine learning, King's College LondonVerified email at kcl.ac.uk
Daniël ReijsbergenSingapore University of Technology and DesignVerified email at sutd.edu.sg
Stratis SkoulakisSingapore University of Technology and DesignVerified email at sutd.edu.sg
Erik WilhelmKyburz SwitzerlandVerified email at kyburz-switzerland.ch
Daniel DahlmeierSAP SEVerified email at sap.com
Christos H PAPADIMITRIOUColumbia UniversityVerified email at columbia.edu
Kurtuluş GemiciZhejiang UniversityVerified email at zju.edu.cn
Elias KoutsoupiasUniversity of OxfordVerified email at cs.ox.ac.uk
Shyam SridharEthereum FoundationVerified email at mymail.sutd.edu.sg
Joachim NeuStanford UniversityVerified email at stanford.edu
David TseThomas Kailath and Guanghan Xu Professor, Stanford UniversityVerified email at stanford.edu
Caspar Schwarz-SchillingEthereum FoundationVerified email at ethereum.org
Cosimo VinciUniversità del SalentoVerified email at unisalento.it
Vittorio BilòAssociate Professor in Computer Science, University of Salento, Lecce, ItalyVerified email at unisalento.it
Jin Xing LimFormal Verification Engineer, Runtime Verification IncVerified email at runtimeverification.com
Justin RuthsAssistant Professor of Mechanical Engineering and Systems Engineering, UT DallasVerified email at utdallas.edu