This file lists the colleagues who have contributed to the development of ESBMC in some way. 

- Lucas C. Cordeiro, lucas.cordeiro@manchester.ac.uk
- Mikhail R. Gadelha, mikhail.ramalho@gmail.com
- Jeremy Morse
- Rafael Menezes, rafael.menezes@postgrad.manchester.ac.uk
- Kunjian Song, kunjian.song@postgrad.manchester.ac.uk
- Franz Brauße, franz.brausse@manchester.ac.uk
- Fedor Shmarov, fedor.shmarov@newcastle.ac.uk
- Felipe Monteiro, rms.felipe@gmail.com
- Daniel Kroening, kroening@kroening.com
- Denis Nicole, dan@ecs.soton.ac.uk
- Bernd Fischer, thefisch@gmail.com
- Joao Marques Silva
- CM Wintersteiger
- Mohannad Aldughaim
- Ben YIU, yspb1g08@ecs.soton.ac.uk
- Bruno Farias, brunocarvalhofarias@gmail.com
- Chenfeng Wei, chenfeng.wei@manchester.ac.uk
- Xianzhiyu Li, xianzhiyu.li@manchester.ac.uk
- Simon Gerst, ukpvb@student.kit.edu
- Yiannis Charalambous, yiannis.charalambous-4@postgrad.manchester.ac.uk
- Edoardo Manino, edoardo.manino@manchester.ac.uk

If you were a contributor and your name is not listed here, please open an issue so that your name can be added.
