Luther Tychonievich

Luther is an artistic lover of algorithms with no particular care what problem the algorithm is designed to solve. He came to BYU as a Junior in 2003 with no prior background in computers or algorithms and immediately began algorithmic research, working over the next four years on algorithms dealing with higher-dimensional space visualization, formal verification, real-time graphics, algorithmic reactive navigation, and a variety of side projects. In 2007, with his Master’s thesis on simulation and visualization techniques for environments with multidimensional time nearly complete, he joined IDeA Labs to enjoy the algorithmic implications of existing IDeA labs work and developing additional ideas, particularly in the verification of dynamic controllers and efficient approximation of related NP-hard problems.