Difference between revisions of "User:Adam Koprowski"

From OWASP
Jump to: navigation, search
m (Creating user page with biography of new user.)
 
 
Line 1: Line 1:
Shortly after finishing my PhD in Computer Science (at the Eindhoven University of Technology, main subjects: theorem proving & term rewriting) I joined MLstate, the company behind the new web programming platform, Opa (http://opalang.org), where I'm staying to this day, trying to improve ease of use and security of web development tools.
+
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 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.