en pl

Welcome on my “professional” homepage. The sidebar to the left is the site map. Some Polish-only material, might get translated into English eventually. You will find here: Pages as Functional Programming are lectures and/or labs in English, pages like Kurs Pascala — Polish only. Pages as Artificial General Intelligence are my personal notes and slides for informal meetings. Type Inference are unpublished results in invariant inference for functional languages. Toss [1] is a project I participate in (publications) [2]. Emacs mode I use to edit this wiki pmwiki-mode.

To get to know me on the personal side, you can visit http://google.com/+LukaszStafiniak.

Miscelaneous slides — old ones.

• Coq as a Tutor in Formal Reasoning. Guiding through the proof (odp presentation source, exemplary exercises from the Warsaw University Institute of Informatics)
• Interactive Proving with Coq (odp presentation source and example source), the example source [3]
• Some ideas on Evolutionary Algorithms (OpenOffice presentation source)
• Agents, Cognitive Architectures and Artificial General Intelligence Projects (OpenOffice presentation source)
• Multiagent Reinforcement Learning (TeXmacs presentation source)
• Dependency Parsing and beyond (in Polish) (OpenOffice presentation source)

Copyright © 2005–2006 the Main wiki and its authors