I am both a developer and researcher, who is forever learning on his job. My work as a researcher involved using and adapting Active Learning techniques and tools in order to automatically state infer models for software components. Active Learning has been applied to implementations of various protocols in the TCP/IP stack, bank protocols, embedded software... I have partaken in some of these applications.
Open source applications to which I have contributed/am contributing as part of my research include:
- tcp-learner, tool for automatically inferring state models of the TCP implementation of a remote host;
- Tomte and RaLib, tools for active learning of parameterized systems;
- Z3GI, Python tool using the Z3 SMT solver for grammatical inference. It can be applied to learn various formalisms, incl. small Mealy machines, DFAs.. .
My hobbies include singing, video games and jogging. I am currently following private lessons to improve my singing.
Member for 5 years, 11 months
5 profile views
Last seen Feb 23 '18 at 22:53