I have 15 years of experience, and specialize in the field of software engineering with specific knowledge of software specification, verification and requirements engineering. I have published on such topics as computer security, formal methods and requirements engineering. I have testified on software copyright violation.