velykis.lt - Andrius Velykis - Notes on formal methods, concurrency research and beyond

home > domains > velykis.lt

Example domain paragraphs

I am a research associate in Taming Concurrency project at Newcastle University. I spend my days with formal methods & tools, trying to make theorem proving and reasoning about concurrency easier.

Andrius Velykis

27 July 2015

Links to velykis.lt (5)



© example3.com 2024