Difference between revisions of "User:Adam Koprowski"
m (Creating user page with biography of new user.)
|Line 1:||Line 1:|
PhD at the Eindhoven University of Technology, theorem proving) the http://.
, where 'staying to this day
Latest revision as of 18:13, 13 July 2011
Adam Koprowski's main interests are functional programming and theorem proving. Having finished his PhD at the Eindhoven University of Technology (topics: term rewriting, theorem proving) he continued as a postdoc researcher at the Radboud University Nijmegen. Shortly afterwards he joined MLstate, where he's staying to this day working on Opa -- a new technology stack for creating secure web applications. For more detailed information, please see his public LinkedIn page.