User:Adam Koprowski

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.