Krzysztof Apt
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Born | Poland |
| Books | Principles of constraint programming |
| Logic Programming | |
| Concepts in Programming Languages | |
| Academic advisor | Andrzej Mostowski |
| Notable student | Marianne Baukje Kalsbeek |
| Affiliations | Centrum Wiskunde & Informatica |
| Interests | Game Theory |
| Program Verification | |
| Logic And Constraint Programming | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 1580589 |
Krzysztof Apt Life story
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.
Krzysztof Apt Photos
