User:Helenaachillesova/sandbox

Miroslav (Miro) Benda, born October 28, 1944 in Czechoslovakia, is currently a retired mathematician. His research has been and is in model theory, set theory, combinatorics, and artificial intelligence.

Benda started in mathematics at the Faculty of Mathematics and Physics at Charles University in Prague. His advisor was Petr Vopenka, who recommended that he study with Andrzej Mostowski in Warsaw for his B.Sc. After receiving the degree Mostowski recommended him to Stephen Kleene, at the University of Wisconsin, to get his Ph.D.

Benda has a Ph.D. in Mathematics from the University of Wisconsin (1970); his advisor was H. J. Keisler (Kleene was busy being a dean). After getting his Ph.D. he became Lecturer at the University of California in Berkeley (1970 - 1972). His mentor and friend there was Bob Vaugh t.

From 1972 to 1980 Benda was a professor of mathematics at the University of Washington in Seattle. In 1976 he was on a sabbatical leave at the University of Sao Paulo in Brazil. His Erdos number is 2; though Erdos visited him in Seattle in 1973, instead of combinatorics they discussed the situation of that time in Eastern Europe.

Benda also has a degree in Computer Science from the University of Washington (1981). From 1980 to 1999 he worked at Boeing in several roles. The main role was as the manager of the Artificial Intelligence/Knowledge Systems Laboratory at Boeing Computer Services (1984 - 1994). Later on he was Process Architect for Boeing Commercial Aircraft.

In 1997 Benda was one of the founding editors of the IEEE Internet Computing Magazine. In the first year of the magazine he published six columns on Artificial Intelligence starting with the first issue.

After retiring from Boeing, Benda, in 1999, joined Amazon.com in the international supply chain organization as a process architect active in the London and Paris branches. He "retired" four years later (2004) to continue his research in mathematics. In 2021 he is working on Vaught's Conjecture.

Selected publications:

Modeloids, Transaction of the American Society of the American Society of Mathematics, 1980 (.pdf)

Computer-supported exploration of categorical axiomatization of modeloids, RAMICS 2020

Colorings of metric spaces in Geombinatorics, 2000  (This PDF of the paper also contains a one page introduction to it)

On Optimal Cooperation of Knowledge Sources,  Boeing 1988

The Architecture of Global Access, IEEE Internet Computing 1997

Selected references:

Miroslav Benda at

(see https://www.researchgate.net/publication/268311008_Colorings_of_metric_spaces )

https://www.computer.org/csdl/search/default?queryState=%7B%22basicSearchText%22:%5Bnull,%22Miroslav%20Benda%22%5D,%22basicSearchTextSubmitted%22:%5B%22%22,%22Miroslav%20Benda%22%5D,%22doiSearchText%22:%5Bnull,%22%22%5D,%22publicationSearchTextSubmitted%22:%5B%22%22,null%5D,%22proceedingAcronymSearchTextSubmitted%22:%5B%22%22,null%5D,%22authorSearchTextSubmitted%22:%5B%22%22,null%5D%7D

Founding editorial board member of IEEE Internet Computing:

https://www.computer.org/csdl/magazine/ic/1997/01/w1006/13rRUy0ZzU1