Victor W. Marek

Victor W. Marek, formerly Wiktor Marek (born 22 March 1943) is a Polish mathematician and computer scientist working in the field of theoretical computer science and mathematical logic.

Biography

Victor W. Marek, born March 22, 1943, studied Mathematics at the Faculty of Mathematics and Physics of Warsaw University. He received the MSc degree in mathematics in 1964, PhD in mathematics in 1968 (Andrzej Mostowski, Advisor), and DSc in mathematics in 1972, all from Warsaw University.

During 1970/71 Dr. Marek was a postdoctoral researcher at the University of Utrecht, Holland (Dirk van Dalen, advisor). In 1967/68, and in the academic years 1973–1975 worked as a researcher at the Mathematical Institute of Polish Academy of Sciences, Warsaw, Poland. During the academic years 1979/1980 and 1982/1983 worked at the Venezuelan Institute of Scientific Research. In 1976 became an Assistant Professor of Mathematics at Warsaw University.

In 1983 became a professor of computer science at the University of Kentucky. During the academic year 1989–1990 a Visiting Professor of Mathematics at Cornell University, Ithaca, NY. In 2001/2002 visitor at the Department of Mathematics of University of California, San Diego.

Teaching

Dr. Marek supervised large number of M.Sc. theses and projects. He was an advisor of 15 PhD candidates both in mathematics and computer science. Specifically, he advised dissertations in mathematics of: Małgorzata Dubiel-Lachlan, Roman Kossak, Adam Krawczyk, Tadeusz Kreid, Roman Murawski, Andrzej Pelc, Zygmunt Ratajczyk, Marian Srebrny, and Zygmunt Vetulani. In Computer Science his advisees included Waldemar W. Koczkodaj, Witold Lipski, Joseph Oldham, Inna Pivkina, Michał Sobolewski, and Paweł Traczyk, oraz Zygmunt Vetulani. All these individuals worked in various institutions of higher education in Canada, France, Poland, and United States.

Academic achievements

Mathematics

Dr. Marek investigated a number of areas within the foundations of mathematics, for instance infinitary combinatorics (large cardinals), metamathematics of set theory, the hierarchy of constructible sets,[1] models of second-order arithmetic,[2] the impredicative theory of classes Kelley–Morse,.[3] He proved that the so-called Fraïssé conjecture (second-order theories of denumerable ordinals are all different) is entailed by Gödel's Axiom of Constructibility. Together with Marian Srebrny, he studied properties of gaps in constructible universe.

Computer science

Dr. Marek studied logical foundations of computer science. In the early 1970s, collaborating with Zdzislaw Pawlak [4][5] studied Pawlak's Information Storage and Retrieval Systems [6] a concept studied by a group of researchers, especially in Eastern Europe. These systems were, essentially a single-table relational databases, but unlike Codd's relational databases were bags rather than sets of records. These investigations, in turn, led to introduction by Pawlak of the concept of rough set,[5] studied by Marek and Pawlak in.[7] The concept of rough set, tying computer science, statistics, topology, universal algebra, combinatorics, and modal logic, turned out to be an expressive language for describing, and especially manipulating, incomplete information.

In the area of nonmonotonic logics (a group of logics related to artificial intelligence) Dr. Marek focused on investigations of Reiter's Deault Logic, [8] and autoepistemic logic of R. Moore. These investigations led to introduction of a form of Logic Programming called Answer Set Programming [9] a computational knowledge representation formalism, studied both in Europe and in United States. Together with M. Truszczynski, Marek proved that the problem of existence of stable models of logic programs is NP-complete. In a stronger formalism, admitting function symbols, Marek, Nerode, and Remmel had shown that the analogous problem is Σ1
1-complete.

Publications

V. W. Marek is an author of over 180 scientific papers in the area of foundations of mathematics and of computer science. He was also an editor of numerous proceedings of scientific meetings. Additionally, he authored or coauthored several books. These include:

References

  1. ↑ W. Marek and M. Srebrny, Gaps in constructible universe, Annals of Mathematical Logic, 6:359–394, 1974.
  2. ↑ K.R. Apt and W. Marek, Second order arithmetic and related topics, Annals of Mathematical Logic, 6:177–229, 1974
  3. ↑ W. Marek, On the metamathematics of impredicative set theory. Dissertationes Mathematicae 98, 45 pages, 1973
  4. ↑ Z. Pawlak, Mathematical foundations of information retrieval. Institute of Computer Sciences, Polish Academy of Sciences, Technical Report 101, 8 pages, 1973
  5. 1 2 Z. Pawlak, Rough sets. Institute of Computer Science, Polish Academy of Sciences, Technical Report 431, 12 pages, 1981
  6. ↑ W. Marek and Z. Pawlak On the foundations of information retrieval. Bull. Acad. Pol. Sci. 22:447–452, 1974
  7. ↑ W. Marek and Z. Pawlak. Rough sets and information systems, Institute of Computer Science, Technical Report 441, Polish Academy of Sciences, 15 pages, 1981
  8. ↑ M.Denecker, V.W. Marek and M. Truszczynski, Uniform semantic treatment of default and autoepistemic logics. Artificial Intelligence Journal. 143:79–122, 2003
  9. ↑ V.W. Marek and M. Truszczynski, Stable logic programming – an alternative logic programming paradigm. In: 25 years of Logic Programming Paradigm, pages 375–398, Springer-Verlag, 1999

External links

This article is issued from Wikipedia - version of the 7/17/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.