http://petr.pudlak.name/dw/ 2012-05-20T21:02:06+02:00 http://petr.pudlak.name/dw/ http://petr.pudlak.name/dw/lib/tpl/dokucms/images/favicon.ico text/html 2011-06-12T12:28:17+02:00 http://petr.pudlak.name/dw/blog?rev=1307874497&do=diff This page contains the most recent blog post. For older posts navigate the menu on the left or the blog archive. [RSS feed] ---------- text/html 2011-06-12T12:28:03+02:00 http://petr.pudlak.name/dw/blog_archive?rev=1307874483&do=diff text/html 2011-06-11T15:48:16+02:00 http://petr.pudlak.name/dw/contact_form?rev=1307800096&do=diff Contact form text/html 2011-06-11T13:55:33+02:00 http://petr.pudlak.name/dw/interests?rev=1307793333&do=diff Yoga * Yoga in Daily Life (YiDL) * YiDL in Czech Republic Vegetarianism and animal protection * Czech Vegetarian Society * Ochránci hospodářských zvířat (= Protectors of livestock) text/html 2011-06-11T12:00:44+02:00 http://petr.pudlak.name/dw/research_interests?rev=1307786444&do=diff Functional programming and dependent types, automated theorem proving (ATP), logic (modal) systems and technologies for the semantic web. * Functional programming, dependent types: I'm interested in development of programming paradigms that allow to write programs in such a way so that their correctness could be formally proven. The most often used procedural programs are almost impossible to automatically verify efficiently. Alas, current trends in commercial programming even promote techni… text/html 2011-07-18T11:14:02+02:00 http://petr.pudlak.name/dw/start?rev=1310980442&do=diff Research interests See Research interests. Blog See blog. Teaching * Functional programming [NAIL097] at Department of Theoretical Computer Science and Mathematical Logic, MFF UK. * Automated reasoning [A4M33AU] at The Department of Cybernetics, ČVUT. <https://cw.felk.cvut.cz/doku.php/courses/a4m33au/ Information for students> in Czech.