From 2006 until 2010 I was a PhD student in the QUADS Research Section at the Department of Computing, Imperial College London. My research focused on the formal verification of probabilistic systems via automata theory and game theory. In particular I developed a complete abstraction framework for PCTL over discrete-time Markov chains. My academic supervisors were Michael Huth and Nir Piterman. While at Imperial I also was one of the co-organisers of the Department's LogIC Seminar on formal logic and theoretical computer science.
This page preserves material which was previously hosted on my academic website (http://www.doc.ic.ac.uk/~dwagner/) at the Department of Computing.
Imperial College provides an e-mail forwarding service for its alumni. So you can still contact me via d.wagner06@imperial.ac.uk.
I am also on LinkedIn (www.linkedin.com/in/dancapital) and on Facebook (www.facebook.com/daniel.wagner.2010).
At Imperial I wrote a LaTeX documentclass for disserations, i.e. for MSc theses and PhD theses, in accordance with the College's official regulations. I also wrote a LaTeX template for presentations with "beamer" according to Imperial College's graphic identity. I will keep these LaTeX templates maintained and freely available at www.prettyprinting.net/imperial/.
Daniel Wagner
Finite-State Abstractions for Probabilistic Computation Tree Logic
PhD thesis, Imperial College London, 2011.
Download
Michael Huth, Nir Piterman, Daniel Wagner
p-Automata: New Foundations for Discrete-Time Probabilistic Verification
Proceedings of the 7th International Conference on Quantitative Evaluation of Systems (QEST), IEEE Computer Society, 2010.
Download
Michael Huth, Nir Piterman, Daniel Wagner
Three-Valued Abstractions of Markov Chains:
Completeness for a Sizeable Fragment of PCTL
Proceedings of the 17th International Symposium on
Fundamentals of Computation Theory (FCT), Springer-Verlag, 2009.
Download
Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner
PCTL model checking of Markov chains: Truth and falsity as winning strategies in Games
Performance Evaluation, Elsevier, 2009.
Download
Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner
Hintikka Games for PCTL on Labeled Markov Chains
Proceedings of the 5th International Conference on Quantitative Evaluation of Systems (QEST), IEEE Computer Society, 2008.
Download
Simon Colton, Daniel Wagner
Using Formal Concept Analysis in Mathematical Discovery
Proceedings of the 6th International Conference on Mathematical Knowledge Management (MKM), Springer-Verlag, 2007.
Download
Daniel Wagner, Stefan Wopperer
Bol-loops of order 3 · 2n
Acta Universitatis Palackianae Olomucensis, Facultas Rerum Naturalium, Mathematica 46, 2007.
Download