Ur. 5 grudnia 1983 roku, student informatyki oraz filozofii na Uniwersytecie Warszawskim. Specjalizuję się w logice informatycznej, w szczególności rachunkach lambda z typami oraz systemem dowodzenia twierdzeń Coq. Jestem także współtwórcą i głównym administratorem serwisu LING.pl.
|
|
|
|
|
filoz |
Ten wikipedysta zna terminologię stosowaną w filozofii. |
|
inf |
Ten wikipedysta zna terminologię stosowaną w informatyce. |
|
mat |
Ten wikipedysta zna terminologię stosowaną w matematyce. |
|
|
web |
Ten wikipedysta potrafi tworzyć strony WWW. |
|
|
Wieża Różności
|
|
|
Ten użytkownik używa przeglądarki Firefox. |
|
|
|
Ten użytkownik bardzo lubi grać w brydża. |
|
|
php |
Ten użytkownik posiada wiedzę z zakresu języka PHP. |
|
C++ |
Ten użytkownik posiada wiedzę z zakresu języka C++. |
|