Ing. Václav Kratochvíl, Ph.D.

Education

2013-2014, PostDoc position, Concordia University, Montréal, Canada

• Working on: De Bruin-Erdös theorem for metric spaces, random numbers generation
• Supervisor: Vašek Chvátal

2012, PhD, Mathematical Engineering, Czech Technical University

• Thesis title: Compositional models: solution of an equivalence problem
• Supervisor: Radim Jiroušek

Employment history

• 2005-present, ÚTIA, Czech Academy of Sciences
• 2013-2014, Concordia University, Montréal, Canada
• 2006-2023, Faculty of Management, University of Economics, Prague
• 2003-2005, Software 602, a.s.

Software

• MUDIM - R package to support work with probabilistic compositional models (joint work with R. Jiroušek)
• Criterion to Recognize Extreme Supermodular Games (joint work with M. Studený)
• Criterion for Extremity of Exact and Supermodular Games (joint work with M. Studený)
• Criterion to Recognize Extreme Exact Games (joint work with M. Studený)
• Catalogue of Min-balanced set Systems up to |N| = 5 (joint work with M. Studený)
• Catalogue of Permutational Types of Indecomposable Min-semi-balanced set Systems (joint work with M. Studený)

(Co)organizing conferences

• ECSQARU 2021
• PGM2018
• ParaoptXI
• IGAIA IV
• WUPES workshop series
• Belief'16
• Czech Japan Seminars 2013, 2018, 2024

Program committee member

• UAI conference series (since 2016)
• International Conference on Belief Functions (BELIEF) series (since 2018)
• PGM2018, PGM2022, PGM2024
• WUPES workshop series
• Czech Japan Seminars series

Special Issues CoEditor

• Kybernetika, Special issue dedicated to selected papers from WUPES 2012
• IJAR, Special issue dedicated to selected papers from WUPES 2015
• IJAR, Special issue dedicated to selected papers from BELIEF 2016
• IJGS, Special issue dedicated to selected papers from WUPES 2018
• IJAR, Special issue dedicated to selected papers from WUPES 2022

Scientific societies member

• SIPTA - The Society for Imprecise Probabilities: Theories and Applications
• BFAS - The Belief Functions and Applications Society

Research teams member

• Efficiency of Carbon Reduction Policies (GACR 21-07494S)
• Managerial Decisions: Rationality of Paradoxical Behavior (GACR GA19-06569S)
• Conditional independence structures: methods of polyhedral geometry (GA19-04579S)
• Verb Class Analysis Accelerator for Low-Resource Languages - RoboCorp (GA20-18407)
• Compositional models for data mining (MOST-18-04)
• Conditional independence structures: combinatorial and optimization methods (GA16-12010S)

Other activities

• reviewer of 4 international journals
• guest editor of Kybernetika, IJAR
• editor of several conference proceedings

Award

• Best Paper Award at the conference 2021 IEEE ICTE - Leading Digital Transformation in Business and Society