Krzysztof R. Apt
About
Krzysztof R. Apt
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 programming language, distributed computing, and game theory. 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 and by advocating open access to scientific literature.