Concurrency Theory Concurrency Theory Group

Department of Computer Science
University of Kaiserslautern

Dr.-Ing. Egor Derevenetc

Email: derevenetc at cs.uni-kl.de

Research Interests

Static program analysis, model checking, parallel architectures, Petri nets.

Reverse engineering, native code decompilation.

Curriculum Vitae

Since March 2011 and until I moved to Yandex in January 2015 I was a PhD student at Fraunhofer ITWM and the Concurrency Theory Group at the University of Kaiserslautern. From September 2005 to June 2010 I studied computational mathematics at the Moscow State University. Before, I finished school in Voronezh, the city where I was born in the year 1988.

News

MEMICS 2016.
Roland Meyer will speak at the MEMICS workshop.

Carl Zeiss.
Our project ArchiV: Architecture-aware Verification has been granted.  research

LICS 2016.
Complexity of Regular Abstractions of One-Counter Languages.  publications

LICS 2016.
First-Order Logic with Reachability for Infinite-State Systems.  publications

UPMARC 2016.
Roland Meyer will speak at the UPMARC summer school.

CONCUR 2017.
Roland Meyer is a co-chair of the conference.

ESOP 2016.
On Hierarchical Communication Topologies in the π-calculus.  publications

FoSSaCS 2017.
Roland Meyer is a member of the programme committee.

Best teaching award SoSe 2015.
Our Bachelor's course Logik received the best teaching award.

ACSD 2016.
Roland Meyer is a member of the programme committee.

VMCAI 2016.
Pointer Race Freedom.  publications

FSTTCS 2015.
What's Decidable about Availability Languages?.  publications

NETYS 2016.
Roland Meyer is a member of the programme committee.

RP 2015.
The Emptiness Problem for Valence Automata or: Another Decidable Extension of Petri Nets.  publications

Best student paper at ICALP 2015.
An approach to computing downward closures.  publications

ACM TECS.
Memory-Model-Aware Testing - a Unified Complexity Analysis.  publications

NETYS 2015.
Antichains for Recursive Program Verification.  publications

CCDP 2015.
Roland Meyer will give an invited talk. More about the workshop can be found  here

FSTTCS 2015.
Roland Meyer is a member of the programme committee.

SKILL 2015.
Roland Meyer is a member of the programme committee. More about the conference can be found  here

MM 2015.
Roland Meyer will give an invited talk. More about the workshop can be found  here

TACAS 2016.
Roland Meyer is a member of the programme committee.

STACS 2015.
Computing downward closures for stacked counter automata.  publications

CONCUR 2015.
Roland Meyer is a member of the programme committee. More about the conference can be found  here

ACSD 2015.
Roland Meyer is a co-chair of the programme committee. More about the conference can be found  here

FASE 2015.
Lazy TSO Reachability.  publications