User loginNavigation |
Neil MaddenPersonal informationUK For work, I am the Security Director at ForgeRock, generally advising on usage of cryptography and design/hardening of security protocols. Previously completed a PhD in the Intelligent Agents group at Nottingham University, focused on logic-based agent programming and plan/activity recognition. In my spare time I am very slowly working on a strongly statically typed agent-oriented programming language: Haskell meets Erlang plus typed Datalog with a syntax influenced by ML and Smalltalk. History19 years 14 weeks |
Browse archivesActive forum topics
|
Recent comments
1 week 4 days ago
2 weeks 1 day ago
2 weeks 2 days ago
2 weeks 2 days ago
3 weeks 1 day ago
3 weeks 4 days ago
3 weeks 4 days ago
3 weeks 4 days ago
4 weeks 6 days ago
5 weeks 23 hours ago