David Stanovský    //   

I am an assistant professor at

       Department of Algebra, Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic.

For the academic year 2010/11, I am on leave, lecturing at

       Department of Mathematics, University of Denver, USA.

I graduated at Charles University in Prague in 2004, supervised by Jaroslav Ježek. My primary research interest is general algebra, and recently also automated theorem proving in service of solving mathematical problems. A major part of my work relates to universal algebra and non-associative algebraic structures, particularly the medial/entropic and self-distributive ones.

VÝUKA // TEACHING

RESEARCH

  • List of publications - includes list of theses, talks, lectures abroad, grant participation
  • CV (last update 03/2011)
  • H2WO4 (tungstic acid) - a theorem prover for first order logic with basic arithmetic
  • QPTP library - Quasigroup Problems for Theorem Provers
  • we organized Jardafest, or International Conference on Algebras and Lattices (Prague, June 2010)
  • we organize Loops'11 (Třešť, July 2011)

PERSONAL

I spend most of my free time in mountains.
The highest peak I climbed is Stok Kangri, and there is much more on my travelling page (in Czech, sorry).
You can look at some pictures: China (08), Lapland in winter (08), Siberia (Novosibirsk) (07), Western USA (06), Ukraine's Zakarpat'e (06), Lapland in winter (06), Siberia (Zabaykal'e) (05), India (04), Utah (04), Texas (03), and more.

cesky And there is more if you speak Czech:

po-russki And there is even more if you speak Russian:

  • В 2005 г. мы сделали очень интересный горный поход в Забайкалье (хребет Кодар), посмотрите наш отчет (на русском!).

LINKS