Krzysztof R. Apt Krzysztof R. Apt (born 26 December 1949 in Katowice, Poland) is a Polish computer scientist. He defended his PhD in mathematical logic in Warsaw, Poland in 1974. His research interests include program correctness and semantics, use of logic as a ...

(born 26 December 1949 in

Katowice, Poland Katowice ( , , ; szl, Katowicy; german: Kattowitz, yi, קאַטעוויץ, Kattevitz) is the capital city of the Silesian Voivodeship in southern Poland and the central city of the Upper Silesian metropolitan area. It is the 11th most populo ...

) is a Polish computer scientist. He defended his PhD in mathematical logic in

Warsaw, Poland Warsaw ( pl, Warszawa, ), officially the Capital City of Warsaw,, abbreviation: ''m.st. Warszawa'' is the capital and List of cities and towns in Poland, largest city of Poland. The metropolis stands on the Vistula, River Vistula in east-cen ...

in 1974. His research interests include program correctness and

semantics Semantics (from grc, σημαντικός ''sēmantikós'', "significant") is the study of reference, meaning, or truth. The term can be used to refer to subfields of several distinct disciplines, including philosophy Philosophy (f ...

, use of logic as a programming language,

distributed computing A distributed system is a system whose components are located on different computer network, networked computers, which communicate and coordinate their actions by message passing, passing messages to one another from any system. Distributed com ...

, and

game theory Game theory is the study of mathematical models of strategic interactions among rational agents. Myerson, Roger B. (1991). ''Game Theory: Analysis of Conflict,'' Harvard University Press, p.&nbs1 Chapter-preview links, ppvii–xi It has appli ...

. Besides his own research, he has been heavily involved in service to the computing community, notably by promoting the use of logic in computer science (in particular by founding a new journal) and by advocating open access to scientific literature.

Academic career

Apt has held various scientific positions in Poland, the

Netherlands ) , anthem = ( en, "William of Nassau") , image_map = , map_caption = , subdivision_type = Sovereign state , subdivision_name = Kingdom of the Netherlands , established_title = Before independence , established_date = Spanish Netherl ...

France France (), officially the French Republic ( ), is a country primarily located in Western Europe. It also comprises of Overseas France, overseas regions and territories in the Americas and the Atlantic Ocean, Atlantic, Pacific Ocean, Pac ...

, the

U.S. The United States of America (U.S.A. or USA), commonly known as the United States (U.S. or US) or America, is a country Continental United States, primarily located in North America. It consists of 50 U.S. state, states, a Washington, D.C., ...

(the William B. Blakemore II Professor, Computer Science,

UT Austin The University of Texas at Austin (UT Austin, UT, or Texas) is a public research university in Austin, Texas. It was founded in 1883 and is the oldest institution in the University of Texas System. With 40,916 undergraduate students, 11,075 ...

, 1987-1990), and

Singapore Singapore (), officially the Republic of Singapore, is a sovereign island country and city-state in maritime Southeast Asia. It lies about one degree of latitude () north of the equator, off the southern tip of the Malay Peninsula, borde ...

(Visiting Professor, Computer Science,

NUS NUS or Nus may refer to: * National University of Singapore * Nus, a town in the Aosta Valley of Italy * Neglected and Underutilized Species, or Neglected and Underutilized Crops * National Union of Students (Australia) * National Union of Students ...

, 2002-2005). Apt is a Fellow at CWI (National Research Institute for Mathematics and Computer Science) in

Amsterdam Amsterdam ( , , , lit. ''The Dam on the River Amstel'') is the Capital of the Netherlands, capital and Municipalities of the Netherlands, most populous city of the Netherlands, with The Hague being the seat of government. It has a population ...

and Affiliated Professor at the

University of Warsaw The University of Warsaw ( pl, Uniwersytet Warszawski, la, Universitas Varsoviensis) is a public university in Warsaw, Poland. Established in 1816, it is the largest institution of higher learning in the country offering 37 different fields of ...

. Since 2014 he is also Professor Emeritus at the

University of Amsterdam The University of Amsterdam (abbreviated as UvA, nl, Universiteit van Amsterdam) is a public research university located in Amsterdam, Netherlands. The UvA is one of two large, publicly funded research universities in the city, the other being ...

. His research interests include program correctness and

, use of logic as a programming language,

, and

. In particular, with coauthors he introduced the concept of stratification in logic programming to provide a way to deal with negation in logic and datalog programs. His comprehensive survey of

Hoare logic Hoare logic (also known as Floyd–Hoare logic or Hoare rules) is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs. It was proposed in 1969 by the British computer scientist and log ...

, written with Ernst-Rüdiger Olderog, summarizes the history of the subject since its inception in 1969. Apt is a member of Academia Europaea, which serves as "a pan-European Academy of Sciences, Humanities and Letters"; membership is by invitation only and follows a rigorous peer review selection process. He is the founder and first Editor-in-Chief of the

ACM Transactions on Computational Logic ''ACM Transactions on Computational Logic'' (''ACM TOCL'') is a scientific journal that aims to disseminate the latest findings of note in the field of logic in computer science. It is published by the Association for Computing Machinery, a premier ...

and past president of the Association for Logic Programming (ALP). He is one of the three initiators of the Witold Lipski Prize for Young Researchers in Computer Science. Apt has long been an active advocate of open and free access to scientific publications(e.g.) and is a member of the Advisory Committee of the portion of the repository arXiv known as the ''Computing Research Repository'' (CoRR)

Books published

* * * *

Books Edited

* * Presents results from a three-year,

ESPRIT Esprit or L'Esprit may refer to: * the French for Spirit; as a loanword: ** Enthusiasm, intense interest or motivation ** Morale, motivation and readiness ** Geist "mind/spirit; intellect" * Esprit (name), a given name and surname * ''Esprit'' (m ...

-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming * Reveals the evolution of logic programming since its inception and the impressively broad scope of current research in the field * * In the

ACM ACM or A.C.M. may refer to: Aviation * AGM-129 ACM, 1990–2012 USAF cruise missile * Air chief marshal * Air combat manoeuvring or dogfighting * Air cycle machine * Arica Airport (Colombia) (IATA: ACM), in Arica, Amazonas, Colombia Computing * ...

series of books on

Turing Award The ACM A. M. Turing Award is an annual prize given by the Association for Computing Machinery (ACM) for contributions of lasting and major technical importance to computer science. It is generally recognized as the highest distinction in compu ...

winners

References

External links

* CWI home page: * CWI staff page: * Polish Science webpage: * Google scholar: * ResearchGate: * Springer link: * dblp computer science bibliography: * arxiv: {{cite web , url=https://arxiv.org/search/?query=Krzysztof+R.+Apt&searchtype=all&abstracts=show&order=-announced_date_first , title=Krzysztof R. Apt , date= , website=arxiv.org , access-date=2022-11-09 Living people Programming language researchers Formal methods people 1949 births Polish computer scientists