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 Ubuntu users and developers
Q&A for meta-discussion of the Stack Exchange family of Q&A websites
Q&A for academics and those enrolled in higher education
Q&A for Information security professionals
Q&A for users of Mathematica
Q&A for users of Linux, FreeBSD and other Un*x-like operating systems.
Q&A for apps, scripts, and development with the Stack Exchange API
Q&A for scientists using computers to solve scientific problems