education and academic degrees

Doc. (habilitation, May 2006), Faculty of Electrical Engineering and Computer Science, TU Ostrava,
habilitation thesis: “Syntax and Interpretation of If-then Rules in Fuzzy Setting”, 32 pp.,
reviewers: Prof. RNDr. Ivan Chajda, DrSc., Prof. RNDr. Radko Mesiar, DrSc., Doc. RNDr. Jiří Ivánek, CSc.
RNDr. (rerum naturalium doctor, Mar 2005), Dept. Computer Science, UP Olomouc
Ph.D. (Jun 2004), Dept. Algebra and Geometry, UP Olomouc,
dissertation thesis: “Equational Fragment of Fuzzy Logic”, iii+138 pp.,
reviewers: Prof. RNDr. Petr Hájek, DrSc., Prof. RNDr. Ivan Chajda, DrSc., Prof. Ing. Vilém Novák, DrSc.
Mgr. (MSc., Jan 2002), Dept. of Computer Science, UP Olomouc
Bc. (BSc., Jun 2000), Dept. Computer Science, UP Olomouc

previous positions

2007–2009, assistant professor, Dept. Systems Science and Industrial Eng., SUNY Binghamton
2004–2006, assistant professor, Dept. Computer Science, UP Olomouc
2002–2004, assistant, Dept. Computer Science, UP Olomouc
2000–2002, staff, Dept. Computer Science, UP Olomouc

SCIS & ISIS 2006 Best Paper Award (Third Prize)
R. Belohlavek, V. Vychodil: Reducing the size of fuzzy concept lattices by fuzzy closure operators.
Sep. 20–24, 2006; O-okayama Campus, Tokyo Institute of Technology, Tokyo, Japan,
recognition by the Rector of Palacky University for Excellence in Research (2005).

Department of Applied Mathematics, Biometrics and Process Control,
Faculty of Bioscience Engineering, Ghent University (Belgium), 2 months (Jul–Aug, 2006).
Department of Systems Science and Industrial Engineering, T. J. Watson School of Applied Science and Engineering,
State University of New York at Binghamton (USA), 28 months (Aug 2007–Dec 2009).

1 research monograph, 2 book chapters, 20 journal papers with IF, 60+ papers in conference proceedings
see the full list of my publications and my records at the DBLP bibliography server
80+ citations excluding self-citations, see the list of found citations
H-index: 5

Bělohlávek R., Vychodil V.: Fuzzy Equational Logic.
Studies in Fuzziness and Soft Computing 186, 2005, xii+283 pages, 47 illustrations.
Vychodil V.: Cut and weakening in fuzzy Horn logic.
Logic Journal of the IGPL 13(5)(2005), pp. 599–609.
Bělohlávek R., Vychodil V.: Algebras with fuzzy equalities.
Fuzzy Sets and Systems 157(2)(2006), pp. 161–201.
Bělohlávek R., Vychodil V.: Fuzzy Horn logic I: proof theory.
Archive for Mathematical Logic 45(1)(2006), pp. 3–51.
Bělohlávek R., Vychodil V.: Fuzzy Horn logic II: implicationally defined classes.
Archive for Mathematical Logic 45(2)(2006), pp. 149–177.
Vychodil V.: Continuous fuzzy Horn logic.
Mathematical Logic Quarterly 52(2)(2006), pp. 171–186.
Vychodil V.: Truth-depressing hedges and BL-logic.
Fuzzy Sets and Systems 157(15)(2006), pp. 2074–2090.
Vychodil V.: Threshold Boolean logic.
International Journal of General Systems 36(1)(2007), pp. 59–78.
Bělohlávek R., Vychodil V.: Discovery of optimal factors in binary data via a novel method of matrix decomposition.
Journal of Computer and System Sciences 76(1)(2010), pp. 3–20 (dedicated to Professor Rudolf Wille).
Bělohlávek R., Vychodil V.: Residuated Lattices of Size ≤12.
Order 27(2)(2010), pp. 147–161.
Bělohlávek R., Kühr T., Vychodil V.: Confluence and termination of fuzzy relations.
Information Sciences 180(17)(2010), pp. 3288–3303.
Find more…