It’s just standard LaTeX beamer, used by many math and CS professors (and sometimes even by undergrads, due to formatting requirements).