PhD candidate Stavros Birmpilis, co-supervised by Cheriton School of Computer Science Professors George Labahn and Arne Storjohann, has won one of two Distinguished Student Author Awards at ISSAC 2020, the 45th International Symposium on Symbolic and Algebraic Computation.
Birmpilis’s paper, titled “A Las Vegas algorithm for computing the Smith form of a nonsingular integer matrix,” continues work that began in 1979. Since then, computer scientists in the field of symbolic computation — a research area in which algorithms and software are developed to manipulate mathematical expressions and other mathematical objects — have made considerable progress by developing faster deterministic algorithms to compute the Smith normal form of a nonsingular integer matrix. More recently, researchers have employed randomized techniques, what are known as Monte Carlo and Vas Vegas types, to improve the running time of algorithms.
Learn more about the paper and see a video of his presentation.