adam.slaski

adam.slaski's picture

Project Information

Partner node
University of Gothenburg
Positions in MOLTO
intern

Personal information

Website
http://www.mimuw.edu.pl/~asl/
Firstname
Adam
Lastname
Slaski
About

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.

History

Member for
13 years 33 weeks
Blog
View recent blog entries