LogiCS | Adrian Rebola-Pardo

Craig interpolation and applications to formal verification
Generalizations of methods from proof theory to satisfiability-preserving proof systems
Generation of induction invariants from instance proofs
Applications of deep inference to proof analysis, formal verification and automated theorem proving
Topological properties of proofs
Redundant inferences in Hierarchic Superposition

I am a associated PhD student at the Doctoral College Logical Methods in Computer Science, TU Wien. I started my PhD studies in January 2016 under the supervision of Georg Weissenbacher. I am also a project assistant in the Formal Methods in Systems Engineering group (FORSYTE).

MSc in Computational Logic (TU Dresden and Free University of Bozen-Bolzano), Master thesis: Unsatisfiability Proofs for Parity Reasoning in SAT Solving, October 2015
Intern at NICTA at Canberra under supervision of Peter Baumgartner.
BSc in Mathematics (University of Granada), July 2013

T. Philipp, A. Rebola-Pardo, Towards a Semantics of Unsatisfiability Proofs with Inprocessing, in: Proceedings of the 21st International Conference on Logic for Programming Artificial Intelligence and Reasoning, LPAR-21, 2017 (forthcoming).
W. Forkel, T. Philipp, A. Rebola-Pardo, E. Werner, Fuzzing and Verifying RAT Refutations with Deletion Information, in: 30th International FLAIRS Conference, Marco Island, USA, May 22-24, 2017, Proceedings, 2017 (forthcoming).
T. Philipp, A. Rebola-Pardo, DRAT Proofs for XOR Reasoning, in: Logics in Artificial Intelligence - Proceedings of the 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, pages 415-429, 2016.
A. Rebola-Pardo, Sufficient (In)completeness for Definitions in Hierarchic Superposition, in: Proceedings of the ESSLLI 2015 Student Session. 27th European Summer School in Logic, Language and Information. August 3--14, 2015, Barcelona, Spain, pages 25-36, 2015.
D. Pordel, L. Petersson, S. Namin, A. Rebola-Pardo, Modeling the cost and coverage of an ad-hoc asset management system based on existing fleet vehicles, in: 2015 IEEE Intelligent Vehicles Symposium, IV 2015, Seoul, South Korea, June 28 - July 1, 2015, pages 1068-1073, 2015.