Projects per year
Programming languages, software verification, program synthesis.
Please check my personal webpage for more information.
Structured keywords and research groupings
- Programming Languages
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Dive into details
Select a country/territory to view shared publications and projects
27/06/23 → 26/06/26
Project: Research, Parent
Abate, A., Barbosa, H., Barrett, C., David, C., Kesseli, P., Kreoning, D., Polgreen, E., Reynolds, A. & Tinelli, C., 13 May 2023, In: Journal of Automated Reasoning. 67, 2, 19.
Research output: Contribution to journal › Article (Academic Journal) › peer-reviewOpen Access
Clinical characteristics with inflammation profiling of long COVID and association with 1-year recovery following hospitalisation in the UK: a prospective observational studyThe PHOSP-COVID Collaborative Group, 1 Aug 2022, In: The Lancet Respiratory Medicine. 10, 8, p. 761-775 15 p.
Research output: Contribution to journal › Article (Academic Journal) › peer-reviewOpen Access133 Citations (Scopus)
Alon, Y. & David, C., 9 Nov 2022, (E-pub ahead of print) ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Association for Computing Machinery (ACM), 12 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)Open AccessFile22 Downloads (Pure)