Research Collaborator with 3 years experience of research on formal methods applied to software testing. Main areas of interest are software engineering and formal methods. Self taught and dynamic, has interest in learning and developing skills on a wide range of subjects. Very proactive is preferably more productive on dynamic and agile teams than dealing with rigid processes.