Avsnittsöversikt

◄Samuel Lundqvist
►Dan Petersen

  • Forskningsspecialitet: datorverifiering av matematiska bevis, matematisk logik, datalogi och funktionell programmering
    Handleder även i: konstruktiv/beräknings-matematik (främst algebra), kategoriteori

◄Samuel Lundqvist
►Dan Petersen