Dr Daniel Wagner

Imperial College London

From 2006 until 2010 I was research 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, Nir Piterman and William Knottenbelt.

While at Imperial I was co-organiser of the Department's LogIC Seminar on formal logic and theoretical computer science. I was also Club President of Imperial College Kendo Club.

This page preserves material that was previously hosted on my academic website (http://www.doc.ic.ac.uk/~dwagner/) at the Department of Computing.

Contact

Imperial College provides an e-mail forwarding service for its alumni. So you can still contact me via d.wagner06@imperial.ac.uk.

I now work as business consultant. You can find me on LinkedIn (www.linkedin.com/in/dancapital) and on Facebook (www.facebook.com/daniel.wagner.2010).

Templates

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" based on Imperial's graphic identity. I will keep these LaTeX templates maintained and freely available at www.prettyprinting.net/imperial/.

Academic Publications

Michael Huth, Nir Piterman, Daniel Wagner
p-Automata: New foundations for discrete-time probabilistic verification
Performance Evaluation 69 (7-8), Elsevier, 2012.

Daniel Wagner
Finite-State Abstractions for Probabilistic Computation Tree Logic
PhD thesis, Imperial College London, 2011.

Michael Huth, Nir Piterman, Daniel Wagner
p-Automata: New Foundations for Discrete-Time Probabilistic Verification
Quantitative Evaluation of Systems (QEST), IEEE Computer Society, 2010.

Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner
PCTL model checking of Markov chains: Truth and falsity as winning strategies in Games
Performance Evaluation 67 (9), Elsevier, 2010.

Michael Huth, Nir Piterman, Daniel Wagner
Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL
Fundamentals of Computation Theory, LNCS 5699, Springer-Verlag, 2009.

Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner
Hintikka Games for PCTL on Labeled Markov Chains
Quantitative Evaluation of Systems (QEST), IEEE Computer Society, 2008.

Simon Colton, Daniel Wagner
Using Formal Concept Analysis in Mathematical Discovery
Mathematical Knowledge Management, LNCS 4573, Springer-Verlag, 2007.

Daniel Wagner, Stefan Wopperer
Bol-loops of order 3 · 2n
Acta Universitatis Palackianae Olomucensis, Facultas Rerum Naturalium, Mathematica 46, 2007.