has main interests in mathematical logic and its relations to Artificial Intelligence. Main domains of activity include: set theory, metamathematics of arithmetic, dynamic logic, and data analysis. In recent years, he concentrates on the foundations of logics of uncertainty and vagueness in AI. Author of about 140 papers and 5 books. Presently director of the Institute of Computer Science of the Academy of Sciences of the Czech Republic.