Libor Behounek - Logic

Libor Behounek - Logic

Follow this link for more info about me.


Affiliation


Papers

You can ask me for a copy of any of my papers that cannot be displayed here in full.

Published

Journal papers

Papers in conference proceedings and edited volumes

Minor publications

Translations

Submitted / To Appear

Selected presentations

(You can ask me for slides from other presentations by email.)

Unpublished


Editing

Special issues

Edited volumes


Teaching

Past courses

2015/16 WT: Ordered algebraic structures
A semestral course at the Department of Mathematics, Faculty of Science, University of Ostrava (taught jointly by Irina Perfilieva, Michal Holcapek, Martin Dyba, and myself)
2014/15 ST: Mathematical logic
A semestral course at the Department of Mathematics, Faculty of Science, University of Ostrava
2014/15 ST: Logic and set theory
A semestral course (taught jointly with Antonin Dvorak and Petra Murinova) at the Department of Mathematics, Faculty of Science, University of Ostrava
2014/15 WT: Ordered algebraic structures
A semestral course at the Department of Mathematics, Faculty of Science, University of Ostrava (taught jointly by Irina Perfilieva, Michal Holcapek, Martin Dyba, and myself)
2013/14 ST: Mathematical logic
A semestral course (taught jointly with Antonin Dvorak) at the Department of Mathematics, Faculty of Science, University of Ostrava
2013/14 ST: Logic and set theory
A semestral course (taught jointly with Antonin Dvorak and Petra Murinova) at the Department of Mathematics, Faculty of Science, University of Ostrava
2013/14 WT: Advanced mathematical logic
A semestral course at the Faculty of Informatics, Vienna University of Technology
2013/14 WT: Ordered algebraic structures
A semestral course at the Department of Mathematics, Faculty of Science, University of Ostrava (taught jointly by Irina Perfilieva, Martin Stepnicka, and myself)
2012/13 ST: Category theory
A semestral course at the Department of Logic, Faculty of Philosophy and Arts, Charles University in Prague
2012/13 ST: Mathematical logic
A semestral course (taught jointly with Antonin Dvorak) at the Department of Mathematics, Faculty of Science, University of Ostrava
2012/13 ST: Logic and set theory
A semestral course (taught jointly with Antonin Dvorak and Petra Murinova) at the Department of Mathematics, Faculty of Science, University of Ostrava
2011/12 WT: Advanced mathematical logic
A semestral course at the Faculty of Informatics, Vienna University of Technology
2009/10 ST: Mathematical fuzzy logic
A semestral course (taught jointly with P. Cintula and R. Horcik) at the Department of Logic, Faculty of Philosophy and Arts, Charles University in Prague,
2009/10 ST: Logic from the point of view of category theory
A semestral course at the Department of Logic, Faculty of Philosophy and Arts, Charles University in Prague
2009/10 WT: Category theory
A semestral course at the Department of Logic, Faculty of Philosophy and Arts, Charles University in Prague
2007/8 ST: Logic from the point of view of category theory
A semestral course at the Department of Logic, Faculty of Philosophy and Arts, Charles University in Prague
2007/8 WT: Category theory from the point of view of logic
A semestral course at the Department of Logic, Faculty of Philosophy and Arts, Charles University in Prague
2006/7 WT: Formal fuzzy logic
A semestral course at the Department of Logic, Faculty of Philosophy and Arts, Charles University in Prague
2005/6 WT: Category theory from the point of view of logic
A semestral course at the Department of Logic, Faculty of Philosophy and Arts, Charles University in Prague
2003/4 WT+ST: Many-valued and applied modal logics
Two blocks of 3+5 lectures within Marta Bilkova's course Nonclassical Logics at the Department of Logic, Faculty of Philosophy and Arts, Charles University in Prague
2002/3 ST: Logic of Questions
A block of 3 lectures within Petr Jirku's course Logic-Related Topics at the Department of Logic, Faculty of Philosophy and Arts, Charles University in Prague

Thesis supervision


Curriculum Vitae

2012-
University of Ostrava, Institute for Research and Applications of Fuzzy Modeling: junior researcher 2015-, postdoctoral fellow 2012-2015
2011-2012
Vienna University of Technology, Faculty of Mathematics and Geoinformation (2011-2012) and Faculty of Informatics (2012): postdoctoral project assistant
2003-2015
Academy of Sciences of the Czech Republic, Institute of Computer Science: full-time researcher 2009-12, part-time researcher 2012-15, full-time graduate student researcher 2005-2009, part-time graduate student researcher 2003-2004
1996-2009
Charles University in Prague, Faculty of Philosophy and Arts: PhD in Logic (2009, advisors: Petr Jirku and Petr Hajek); master's degree (2002, summa cum laude) in Logic (major) and Computational Linguistics (minor)

For more details, see my full CV here (PDF).

Trivia

My Hirsch index (by Scopus, excluding self-citations) is h = 6, after 10 years of publication activity.
My Erdös number is (at most) E = 5, e.g. via Cintula - Hajek - Paris - Kunen.