Contact    Jobs
Search:

Andrey Kupriyanov

photo Andrey Kupriyanov (Ph.D. Student)

Reactive Systems Group
Universität des Saarlandes
Phone: +49 681 302 5614
eMail: kupriyanov at cs.uni-saarland.de
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

My research interests are compositional methods and abstraction in verification and synthesis of infinite-state systems.

Publications

[DKFW10] SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems.
with Klaus Dräger, Bernd Finkbeiner and Heike Wehrheim.
TACAS 2010.

Tools

  • SLAB: Certifying model checker for infinite state concurrent systems.

Teaching

SS 2011 Advanced lecture teaching assistant: Automata, Games and Verification.
SS 2011 Seminar instructor: Games, Synthesis and Robotics.
WS 2009/10 Core lecture teaching assistant: Verification.