Bohuslav Balcar (1943-2017)

With deep sorrow we inform that Dr. Bohuslav Balcar passed away on Friday, February 17th, 2017.

Bohuslav Balcar was born in 1943. In 1965 he finished his studies at the Charles University in Prague under the supervision of P. Vopěnka. Although he obtained a degree in numerical mathematics, his main interests were mathematical logic, automata theory, and set theory. He was one of the original members of the Prague set theory seminar founded by P. Vopěnka in 1962. Between 1965 and 1975 he was a member of several departments at the Faculty of Mathematics and Physics of the Charles University, and in 1975 he started working at ČKD Semiconductors. While employed at the `factory’ as he liked to call the company, he was awarded the Candidate of Sciences (PhD) degree for his work on the theory of semisets, participated in a section of the `national fundamental research plan’ directed by Z. Frolík, and published his most important results. Together with P. Simon he lead the Seminar on Reckoning at Charles University, participated and later organized the Winter Schools in Abstract Analysis and Prague Topological Symposia. In 1989 he was awarded the Doctor of Science degree and started working in the Institute of Mathematics of the Czech Academy of Sciences. Since 1992 he was a member of the the Institute for Advanced Studies, joint research institute of the Charles University and the Czech Academy of Sciences.

Bohuslav Balcar’s mathematical interests included set theory, Boolean algebras, topological dynamics, and logic foundations. He officially supervised five graduate students, and many more had earned their degree under or benefited from his unofficial supervision. His influence shaped several generations of Czech set theoreticians.

Bohuslav Balcar was a kind, inspirational, and unresentful man. He will be greatly missed.

notice

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s