Homepage of Sicco Verwer

I am interested in machine learning, grammatical inference, artificial intelligence, formal methods, and theoretical computer science. My recent work focuses on state machine learning, SAT-based methods in machine learning, creating realistic copies of databases, and applications of machine learning in multi-agent systems and cybersecurity. I work on algorithm design, deriving time and data bounds, and system development.

I am currently working on a STW funded research project called ITALIA. The aim is to learn complex state machines for real-world software systems and combine this with model checkers such as UPPAAL in order to automatically test new software systems.

I cooperate in a cybersecurity project funded by AgentschapNL called CyberDEW. The aim is to continuously combine the threat indicators of different intrusion detection systems in order to obtain an improved estimate on the curret threat-level.

I am in the organization of the recent Pautomac probabilistic automaton learning competition, and a member of the ICGI steering committee. For more information on everything related to grammatical inference, see grammarlearning.org.

I am a member of the 2013 Belgium Netherlands machine learning conference (Benelearn) 2013, organization held at Radboud University Nijmegen.


Winner of the Stamina DFA learning competition 2010
Best paper nominee at ECMLPKDD 2010
Best paper award at BNAIC 2009

Program committee membership

International Joint Conference on Artificial Intelligence (IJCAI) 2013
International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS) 2013
IEEE ICDM 2012 International Workshop on Discrimination and Privacy-Aware Data Mining (DPADM) 2012
International Conference on Grammatical Inference (ICGI) 2012
Benelux Conference on Artificial Intelligence (BNAIC) 2012
Belgian-Dutch Conference on Machine Learning (Benelearn) 2012
International Joint Conference on Artificial Intelligence (IJCAI) 2011

Reviewer for journals

Information and computation
Knowledge-based systems
IEEE Transactions on Knowledge and Data Engineering
Machine Learning

Last edit: 25 feb 2013

dr. ir. Sicco Verwer

Mailbox number 47
P.O. Box 9010
NL-6500 GL Nijmegen
The Netherlands
E-mail: s[dot]verwer [at] cs[dot]ru[dot]nl

Institute for Computing and Information Sciences