|Join hundreds of other Developers and InfoSec professionals for Training, Sessions and Community at our first conference of 2019|
[AppSec Tel Aviv, May 26-30th]
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.