Andrey Kupriyanov

Andrey Kupriyanov


Andrey Kupriyanov (Ph.D. Student)

Reactive Systems Group
Universität des Saarlandes
Phone: +49 681 302 5614
eMail: kupriyanov at
Building: E 1.3 Room: 508

About me

I am a Ph.D. student in the Reactive Systems Group at the Computer Science Department at Saarland University.

Research Interests

Temporal verification of concurrent and infinite-state programs, compositional methods and abstraction, synthesis of reactive programs, logic and decision procedures, automated reasoning. The unifying theme is the development of formal analysis and synthesis methods that scale up to real-life software and hardware systems.


Causal Termination of Multi-threaded Programs.

with Bernd Finkbeiner.
26th International Conference on Computer Aided Verification (CAV 2014).

Causality-Based Verification of Multi-threaded Programs.

with Bernd Finkbeiner.
24th International Conference on Concurrency Theory (CONCUR 2013).

SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems.

with Klaus Dräger, Bernd Finkbeiner and Heike Wehrheim.
16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2010).



SS 2014 Advisor for the seminar Advanced Topics in Infinite Games
WS 2013/14 Advisor for the proseminar: The Time Machine
SS 2013 Tutor for the core lecture: Verification
SS 2011 Teaching assistant for the advanced lecture: Automata, Games and Verification.
SS 2011 Seminar instructor: Games, Synthesis and Robotics.
WS 2009/10 Teaching assistant for the core lecture: Verification.

Selected Presentations