Senior Fellow at CERN, PhD in Computer Science (in a joint programme of CERN and Budapest University of Technology and Economics), MSc in Computer Engineering
Currently, I am the lead developer of PLCverif, a user-friendly formal verification tool to analyse PLC programs. PLCverif is developed at CERN Beams Department, funded by the Knowledge Transfer Group. Read more about our methodology and PLCverif, the tool we are developing for model checking PLC programs at http://cern.ch/plcverif/. Previously, I was also working on formal specification languages to improve the quality of PLC-based control systems.