IMDEA initiative
Artem is a PhD student at IMDEA Software Institute under Alexey Gotsman’s supervision.
For further information please visit his personal homepage.
Software verification, semantics of programming languages, concurrency.
