Research output per year
Research output per year
What are the theories which underlie the analysis and design of computer systems? How can these foundational theories be implemented and applied practically?
Person: Academic: Research Active
Person: Academic: Research Active
Person: Academic: Research Active
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Research output: Working paper › Preprint
Daniele Gorla (Chair) & Leonid Libkin (Chair)
Activity: Participating in or organising an event types › Participation in conference
Leonid Libkin (Chair), Reinhard Pichler (Chair) & Paolo Guagliardo (Chair)
Activity: Participating in or organising an event types › Participation in conference
Vashti Galpin (Guest editor), Paolo Milazzo (Guest editor) & Anna Monreale (Guest editor)
Activity: Publication peer-review and editorial work types › Editorial activity
David, Claire (Recipient), Libkin, Leonid (Recipient) & Tan, Tony (Recipient), 24 Mar 2011
Prize: Prize (including medals and awards)
Fan, Wenfei (Recipient), 2017
Prize: Prize (including medals and awards)
Fan, Wenfei (Recipient), 2007
Prize: Prize (including medals and awards)
Garcia-Patron Sanchez, R. & Guo, H.
1/06/23 → 31/03/25
Project: Research
Kashefi, E., Heunen, C., Arapinis, M., Wallden, P. & Garcia-Patron Sanchez, R.
1/04/23 → 31/03/26
Project: Research
Barbalace, A., Shaikhha, A., Mai, L., Marina, M., O'Boyle, M. & Garcia-Patron Sanchez, R.
1/04/23 → 31/03/26
Project: Research
8/04/24 → 4/09/24
8 Media contributions
Press/Media: Research
13/01/21 → 14/01/21
8 Media contributions
Press/Media: Expert Comment