Dr. Alexander Hudek is the Co-founder and CTO at Kira Systems. He holds a Ph.D and M.Math degrees in Computer Science from the University of Waterloo, and a B.Sc. from the University of Toronto in Physics and Computer Science. Alexander was also involved with the human genome project and has worked in the areas of proof systems and database query compilation.