Alexey Bakhirkin

Photo of Alexey Bakhirkin

I'm a postdoc at Verimag. I'm interested in program analysis, abstract interpretation, and temporal logics.

I got my PhD from University of Leicester (UK). Before that, I studied computing in Bauman Moscow State Technical University (Russia).

Contact

Email: firstname.lastname@univ-grenoble-alpes.fr

Papers

In Verimag: Thesis: In Leicester:

Papers published while in Leicester also available in Leicester Research Archive.

Before:

Tools

A path-focusing abstract interpreter for Horn clauses: here.