About
ESBMC is a joint project with the Federal University of Amazonas, University of Bristol, University of Manchester, University of Stellenbosch, and University of Southampton.
Acknowledgements
The ESBMC development was supported by various research funding agencies, including CNPq (Brazil), CAPES (Brazil), FAPEAM (Brazil), EPSRC (UK), Royal Society (UK), British Council (UK), European Commission (Horizon 2020), and companies including Intel, Nokia Institute of Technology and Samsung. ESBMC is currently funded by Intel, EPSRC grants EP/T026995/1, EP/V000497/1, [https://www.elegant-h2020.eu](EU H2020 ELEGANT 957286) and [https://soteriaresearch.org](Soteria project) awarded by the UK Research and Innovation for the Digital Security by Design (DSbD) Programme.
Main Authors and Developers
- Lucas Cordeiro (since 2008)
- Bernd Fischer (since 2008)
- Mikhail Gadelha (since 2011)
- Felipe R. Monteiro (since 2011)
- Jeremy Morse (since 2011)
- Denis Nicole (since 2011)
- Rafael Menezes (since 2019)
Former Members
- Hussama Ismail (2013-2017)
- Mauro L. de Freitas (2012-2013)
- Joao Marques-Silva (2008-2011)
- Hendrio M. Marques (2012-2013)