This site is the archived OWASP Foundation Wiki and is no longer accepting Account Requests.
To view the new OWASP Foundation website, please visit https://owasp.org
Difference between revisions of "User:Adam Koprowski"
From OWASP
KateHartmann (talk | contribs) m (Creating user page with biography of new user.) |
|||
| Line 1: | Line 1: | ||
| − | + | Adam Koprowski's main interests are functional programming and theorem proving. Having finished his PhD at the [http://www.tue.nl/en/ Eindhoven University of Technology] (topics: term rewriting, theorem proving) he continued as a postdoc researcher at the [http://www.ru.nl/english/ Radboud University Nijmegen]. | |
| + | Shortly afterwards he joined MLstate, where he's staying to this day working on [http://opalang.org Opa] -- a new technology stack for creating secure web applications. | ||
| + | For more detailed information, please see his public [http://www.linkedin.com/pub/adam-koprowski/2/438/b97 LinkedIn page]. | ||
Latest revision as of 23: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.
