Since February 2008, Viliam Holub is a post doctoral research fellow at the Performance Engineering Laboratory and Systems Research Group.

Viliam earned his Ph.D. from the Department of Software Engineering at Charles University in Prague for his work with the Distributed System Research Group on application of formal methods in component systems, particularly developing methods on dealing with the state space explosion problem. The most valued achievement is a new method of distributed model verification, which effectively employs mass storage devices to store large state spaces.

Viliam is interested in many other aspects of computer science and engineering, including electronics, artificial intelligence, distributed systems, software engineering, web design, etc.