User:Adam Koprowski

From OWASP
Revision as of 18:13, 13 July 2011 by Adam Koprowski (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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.