Get my own profile
Public access
View all4 articles
2 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 ReijsbergenNanyang Technological UniversityVerified email at ntu.edu.sg
Stratis SkoulakisSingapore University of Technology and DesignVerified email at sutd.edu.sg
Caspar Schwarz-SchillingEthereum FoundationVerified email at ethereum.org
Erik WilhelmKyburz SwitzerlandVerified email at kyburz-switzerland.ch
Daniel DahlmeierSAP SEVerified email at sap.com
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
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
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