Miroslav “Miro” Benda

mathematician

Ph.D. 1970, Mathematics, University of Wisconsin

M.Sc. 1981, Computer Science, University of Washington

Publications

Technical reports

Conference presentations

1970 - 1972, Department of Mathematics, University of California, Berkeley

1972 - 1980, Department of Mathematics, University of Washington, Seattle

1980 - 1993, Artificial Intelligence Lab, Boeing Computer Services, Seattle

1993 - 1999, Enterprise Architecture, Boeing Commercial Aircraft, Seattle

1999 - 2004, International Supply Chain, Amazon.com, Seattle, UK, FR, DE

Recent research

Vaught’s Conjecture and Modeloids

Modeloids and Inverse Semigroups