Krzysztof R. Apt
id:
krzysztof-r-apt-201-8664461
title:
Krzysztof R. Apt
text:
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.
brand slug:
wiki
category slug:
encyclopedia
description:
Polish computer scientist
original url:
https://en.wikipedia.org/wiki/Krzysztof_R._Apt
date created:
date modified:
2024-03-20T12:02:10Z
main entity:
{"identifier":"Q26693942","url":"https://www.wikidata.org/entity/Q26693942"}
image:
fields total:
13
integrity:
14