Program analysis/abstract interpretation, shape analysis, model checking.
If you're interested in the departmental
PhD Seminars event, please, drop me a line.
Author: Alexey Bakhirkin (ab643 (at) le.ac.uk), T: +44 (0)116 252 3883.© University of Leicester 2013. Last modified: 20th January 2014, 22:30:35.CS Web Maintainer.
Any opinions expressed on this page are those of the author.