Hi, I'm Pavel Verigo. I'm a software developer currently located in Delft, Netherlands. Welcome to my home on the internet.
I find interest in many engineering topics such as HPC, theorem provers, emulation, virtual machines, programming language design and development, feel free to contact me for discussions.
Under construction. Right now you can check out a game of life simulator (pattern based on Golly ticker).