Computational Logic Department of Computer Science University of Innsbruck
Ralph Bottesch, Ph.D. 
Department of Computer Science
Computational Logic Group
University of Innsbruck
Techniker Str. 21a
A-6020 Innsbruck
Austria

E-Mail: ralph.bottesch__AT__uibk.ac.at
Phone: +43/512/507 53234
Room: 3M09, 2. OG

Research

Currently I work as a post-doctoral researcher as part of the FWF project Certifying Termination and Complexity Proofs of Programs. Previously I was a post-doc at Centrum Wiskunde & Informatica (CWI), Amsterdam.

Apart from software verification, I am interested in algorithms and complexity theory (including parameterized complexity, quantum complexity, and communication complexity).

Publications

Journal publications

  1. R. Thiemann, R.C. Bottesch, J. Divason, M. Haslbeck, S. Joosten, and A. Yamada
    Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL
    Journal of Automated Reasoning, 64:827-856, 2020. doi: 10.1007/s10817-020-09552-1

Conference publications

  1. R.C. Bottesch, M.W. Haslbeck, A. Reynauld, and R. Thiemann
    Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL
    In Proceedings of the 12th International NASA Formal Methods Symposium (NFM '20), Lecture Notes in Computer Science 12229, pages 233 - 250, 2020.

  2. R.C. Bottesch, M.W. Haslbeck, and R. Thiemann.
    Verifying an Incremental Theory Solver for Linear Arithmetic in Isabelle/HOL
    In Proceedings of the 12th International Symposium on Frontiers of Combining Systems (FroCoS '19), Lecture Notes in Computer Science 11715, pages 223 – 239, 2019.

  3. J. Witteveen, R.C. Bottesch, and L. Torenvliet.
    A Hierarchy of Polynomial Kernels
    In Proceedings of the 45th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2019), LNCS, Vol. 11376, pp. 504--518, 2019. doi: 10.1007/978-3-030-10801-4

  4. R.C. Bottesch, M.W. Haslbeck, and R.A. Thiemann.
    A Verified Efficient Implementation of the LLL Basis Reduction Algorithm
    In Proceedings of the 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2018), Epic Series in Computing, Vol. 57, pp. 164--180, 2018.

  5. R.C. Bottesch.
    On W[1]-Hardness as Evidence for Intractability
    In Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018), Leibniz International Proceedings in Informatics (LIPIcs), pages 73:1--73:15, 2018. doi: 10.4230/LIPIcs.MFCS.2018.73

  6. R.C. Bottesch.
    Relativization and Interactive Proof Systems in Parameterized Complexity Theory
    In Proceedings of the 12th International Symposium on Parameterized and Exact Computation (IPEC 2017), Leibniz International Proceedings in Informatics (LIPIcs), pages 9:1-9:12, 2018. doi: 10.4230/LIPIcs.IPEC.2017.9

  7. R.C. Bottesch, D. Gavinsky, and H. Klauck.
    Equality, Revisited
    In Proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science (MFCS 2015) .

  8. R.C. Bottesch, D. Gavinsky, and H. Klauck.
    Correlation in Hard Distributions in Communication Complexity
    In Proceedings of the 19th International Workshop on Randomization and Computation (RANDOM 2015).