I am a PhD student at the Institute of Informatics, University of Warsaw. I also work with the NLP Working Group at the Polish Academy of Sciences, in the NEKST project. My interests are logic, lambda calculus, type theory, proof assistants and natural language processing. If you are looking for my CV, please find it here.
Table of contents:
Address
Instytut Informatyki UW
Banacha 2, 02-097 Warszawa, Poland
office room: 5830
office hours: Thu 2:00–3:00 p.m.
e-mail: asl (at) mimuw (dot) edu (dot) pl
Teaching (in Polish)
Podstawy matematyki: link do strony przedmiotu znajduje się tu
Języki i narzędzia programowania I: na razie nic tu nie ma
Publications
Papers
- Patent translation within the MOLTO project España-Bonet, C, Enache R, Slaski A, Ranta A, Màrquez L, Gonzàlez M, MTS 2011: Workshop in patents translation, Xiamen, China.
- Implementation of a fragment of Polish language in the Grammatical Framework formalism, MSc thesis, University of Warsaw, September 2010 (in Polish).
Slides
- Some interesting features of the Polish language in Grammatical Framework, TYPES 2010.
- Disambiguation of a structure of a Polish sentence (in Polish), NLP Seminar, 03.01.2011.
- Logic and Language (in Polish), Cognitive Sciences Seminar, 19.02.2011.
- Towards a Patents Translation System — Results and Perspectives (with Ramona Enache), MOLTO Seminar, 03.05.2011.
Pictures
A few pictures:
- in the strict center of Paris
- in Wilanów, as a monument
- just the torso
- on a cliff in Redłowo
- in a pub in Sopot
- with a bow
- in a zone of silence in Bieszczady
- in Cancún
- one another in Cancún
- just after defending my master thesis
Links
A few links:
- University of Warsaw
- Project NEKST
- Grammatical Framework
- Molto a European linguistic project
- National Corpus of Polish
- My sister's home page
Copyright © 2012 by Adam Slaski