Prof. dr. Andrej Bauer je redni profesor računalniške matematike na Fakulteti za matematiko in fiziko, Univerza v Ljubljani. Ukvarja se s temami s področja temeljev matematike in teoretičnim računalništvom. V zadnjem času razvija dokazovalne pomočnike, to so programi, ki matematikom pomagajo izpeljati konstrukcije in dokaze, pri čemer preverijo njihovo pravilnost.