Lukasz Cyra

Lukasz Cyra received a PhD (2005-2008) and MSc (2000-2005) degree in Computer Science from Gdansk University of Technology in Poland and a MSc (2002-2006) degree in Theoretical Mathematics from University of Gdansk in Poland. He worked on development of trust case methodology for argument structures. His research resulted in defining Standards Conformity Framework to support conformity with standards achievement, assessment and demonstration. Apart from that he defined the Goal-Argument-Metric method being an extension of GQM by argument structures and developed a method of appraisal of arguments. He has also experience in application of formal methods to security protocol analysis.

Lukasz worked for three years in EU 6th Framework Projects PIPS and ANGEL from healthcare domain. He spent half a year in the Cybersecurity Unit in EC Joint Research Centre in Ispra. His work consisted in:

• performing safety and security analyses of IT-systems,
• providing trust guarantees for computer systems,
• performing conformity audits with safety and security standards (e.g. BS 7799-2, ISO/IEC 27001, ISO 15408),
• designing security related functionality of IT-systems,
• managing the development of an internet based software tool for argument structures development (TCTEditor) for 2.5 years.

Lukasz joined Adelard in 2009.