adam.slaski

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 43 weeks

Blog

View recent blog entries