Tomas studies mathematics and computer science on the math and physics faculty of Charles University in Prague. Currently is finishing his PhD in discrete math and models. He is currently interested in middle-out models of different biological phenomena.
Project: Visual Process Inspector
Behavior of modern programs is complex, and it is hard to know what is currently happening. We will develop and explore a tool that helps monitor, gather, visualize, and analyze behavior of these programs using Mathematica graphical capabilities with a cooperation of standard Unix utilities as gdb. Basic characteristics gathered from running programs will be a value of instruction pointer, instructions executed, and states of HW registers.
Favorite Four-Color, Four State Turing Machine