Libor Behounek

I am Czech (male), living in Prague and Ostrava (Czech Republic, Europe). I work as a full-time researcher at the Institute of Computer Science of the Academy of Sciences of the Czech Republic. Follow this link for my activities in logic.

Properly written, my name has a caron (the accent that looks like a tiny letter v) above the first e in the surname Behounek ("B\v{e}hounek" in TeX). It is pronounced approximately as "lib-borr b-yeh-own-eck" would be pronounced in English (the stress is on the first syllable in both words).

Some of my non-professional activities

• My user page at the English version of Wikipedia
  (Please note that the user page can be edited by other people; check the page's history for the last version edited by myself.)
• A page on games I am or was involved in or wrote about

(N.B.: The list is neither complete nor representative: only such activities that happen to have some form of web presentation are listed.)

Contact info

E-mail: behounek@cs.cas.cz