I am a researcher at the Institute of Mathematics of the Czech Academy of Sciences. I work in the field of mathematical logic, specifically proof complexity (mainly subsystems of bounded arithmetic, but also propositional proof complexity) and nonclassical logics (admissible rules of modal, superintuitionistic, and other propositional logics).
Q&A for professional mathematicians
Q&A for theoretical computer scientists and researchers in related fields
Q&A for people studying math at any level and professionals in related fields
Q&A for users of TeX, LaTeX, ConTeXt, and related typesetting systems
Q&A for professional and enthusiast programmers
Q&A for students, researchers and practitioners of computer science
Q&A for meta-discussion of the Stack Exchange family of Q&A websites
Q&A for Ubuntu users and developers
Q&A for Information security professionals
Q&A for apps, scripts, and development with the Stack Exchange API
Q&A for users of Linux, FreeBSD and other Un*x-like operating systems.
Q&A for users of Mathematica
Q&A for scientists using computers to solve scientific problems