Our Members

First NameLast NameAffiliationWebpage
Himanshu . IIIT Delhi
Mohammad Abdulaziz King’s College London mabdula.github.io
Bahareh Afshari University of Gothenburg & University of Amsterdam www.cse.chalmers.se/~bahafs/
Juan Aguilera UGent, TU Vienna juan.ag
Majid Alizadeh University of Tehran rtis2.ut.ac.ir/cv/majidalizadeh
Bashar Alkhawaldeh Assistant professor
José A. Alonso Univiversidad de Sevilla www.cs.us.es/~jalonso
Melissa Antonelli HIIT & University of Helsinki http://
Sergei Artemov CUNY Graduate Center sartemov.ws.gc.cuny.edu/
Arnon Avron Tel Aviv University www.cs.tau.ac.il/~aa/
Sara Ayhan Ruhr University Bochum www.pe.ruhr-uni-bochum.de/philosophie/i/logic/team/ayhan.html.en
Subhajit Bandopadhyay Huawei Munich Research Center and City, University of London de.linkedin.com/in/subhajitbandopadhyay
Ilnur Batyrshin Kazan Federal University www.mathnet.ru/php/person.phtml?&personid=42092&option_lang=eng
Arnold Beckmann Swansea University www.beckmann.pro
Lev Beklemishev Steklov Mathematical Institute of RUssian Academy of Sciences www.mi-ras.ru/~bekl
Yves Bertot Inria www-sop.inria.fr/members/Yves.Bertot/research.html
Katalin Bimbo University of Alberta www.ualberta.ca/~bimbo
Frédéric Blanqui INRIA rewriting.gforge.inria.fr/
Paola Bruscoli University of Bath www.cs.bath.ac.uk/pb/
Gergely Buday Szent István University oktatok.karolyrobert.hu/buday.gergely/research/