
contact address
Vilem Vychodil, associate professor
e-mail: vilem.vychodil@upol.cz
office phone: +420 585 634 705
office fax: +420 585 411 643
office hours
wednesday 15:45–17:45, see my timetable
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
membership
-
Association for Computing Machinery (ACM)
(member of SIGs: SIGACT, SIGART, SIGMOD, SIGIR, SIGKDD, and SIGEVO) -
Institute of Electrical and Electronics Engineers (IEEE)
awards
-
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).
long-term visits
-
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).
professional interests
- fuzzy logic, fuzzy relational systems
- relational data analysis, uncertainty in data
- mathematical logic,logical foundations of knowledge engineering
- formal methods in programming and information processing
publication and citation summary
-
1 research monograph,
2 book chapters,
22 journal papers with IF,
70+ papers in conference proceedings
see the full list of my publications and my records at the DBLP bibliography server - 120+ citations excluding self-citations, see the list of found citations
- H-index: 7 according to WoS
selected publications
-
Bělohlávek R., Vychodil V.: Fuzzy Equational Logic.
Studies in Fuzziness and Soft Computing 186, 2005, xii+283 pages, 47 illustrations.
-
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).
-
Krajča P., Vychodil V.: Software transactional memory for implicitly parallel functional language.
ACM SAC 2010, pp. 2123–2130.
-
Krajča P., Outrata J., Vychodil V.: Using frequent closed itemsets for data dimensionality reduction.
Proceedings of the ICDM 2011: The 11th IEEE International Conference on Data Mining, 2011, pp. 1128–1133.
- Find more…
miscellanea
- forthcoming events: CLA ‘10