Hi! I am a researcher in Computer Science at the University of Liverpool, and work in the project Science of Sensor Systems Software.
Research Interests
- Logics for specification and verification: temporal, spatial, modal, …
- Visual reasoning: diagrammatic logics, proof systems, …
- Safety-critical systems: railway systems, (autonomous) traffic, …
Publications
You can find local copies of some papers here. Please note that the list is incomplete, and that I do not store local copies of papers that are available under Open Access.
Activities
- Co-chair:
- PC member: DIAGRAMS 2020, FTSCS 2019, FMAS 2019, AAMAS 2019, ARQNL 2018, SetVR 2018, VISUAL 2017, VISUAL 2016
- Reviewer
- Journals: ACM Transactions on Autonomous and Adaptive Systems, Formal Aspects of Computing, Journal of Logical and Algebraic Methods in Programming, Logica Universalis, SYNTHESE, The Computer Journal
- Conferences/Workshops: DIAGRAMS 2018, PRIMA 2017, FMICS/AVOCS 2017, ISWC 2015, LATA 2014, CONCUR 2011, IJCAR 2010
- Reviewer for Mathematical Reviews
- Member of ACM SIGLOG
Awards
- Best paper award at ICFEM 2018
Theses
- Sven Linker. Proofs for Traffic Safety - Combining Diagrams and Logic. 2015. PhD Thesis. (local version) (Open Access)
- Sven Linker. Model checking π-Calculus against temporal connectedness properties. 2008. Diploma Thesis. (local version) (Available at University of Oldenburg)
CV
- 2016–present
- Research Associate at University of Liverpool, UK
- 2015–2016
- Research Associate at University of Brighton, UK
- 2011–2015
- Research and Teaching Assistant at Carl von Ossietzky University of Oldenburg, Germany
- 2009–2011
- Member of the Research Training Group "TrustSoft" at Carl von Ossietzky University of Oldenburg, Germany
Contact
- Email: s.linker at liverpool.ac.uk
- Researchgate
- ORCID:
orcid.org/0000-0003-2913-7943
- Mail:
Dr. Sven Linker
Department of Computer Science
University of Liverpool
Liverpool
L69 3BX
UK
