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: Before:

Tools

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

An evaluator of STL (and not only) formulas: here.

CV

Pdf