Krzysztof R. Apt
Krzysztof R. Apt dating history
Who
are they
dating right now?
According to our records, Krzysztof R. Apt is possibly single.
Relationships
We have no records of past relationships for Krzysztof R. Apt.
About
Krzysztof R. Apt is a member of the following lists: 1949 births, Programming language researchers and Formal methods people.
Contribute
Who is Krzysztof R. Apt dating? Krzysztof R. Apt partner, spouse list. Help us build our profile of Krzysztof R. Apt!
Login
to add information, pictures and relationships, join in discussions and get credit for your contributions.
Details
| Birthday |
26th December, 1949
|
| Birthplace |
Katowice, Poland
|
| Zodiac Sign |
Capricorn
|
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 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 (in particular by founding a new journal) and by advocating open access to scientific literature.
More about Krzysztof R. Apt
Less about Krzysztof R. Apt
