Lucas Cordeiro’s Post

View profile for Lucas Cordeiro, graphic

Professor at the University of Manchester, UK | Head of the Systems and Software Security Research Group

Invitation to participate in the ‘Automatic software verification tools’ research project    We are reaching out to you with an exciting opportunity to participate in a groundbreaking research project at The University of Manchester on the use or non-use of automatic software verification tools.    This research aims to explore the use and non-use of verification tools by software engineers and developers when identifying or proving the absence of bugs in large software systems. The focus is on understanding how we can improve the usability of these tools.     We are conducting informal interviews with software engineers and developers, guided by a general set of questions. The interviews will take approximately 30 minutes and will be conducted in person or online between May and June 2024.     Your participation in this research project is a unique opportunity to contribute to advancing knowledge in the field of formal verification tools. Your experiences are invaluable, and your insights will shape the outcomes of our research, providing practical knowledge for academia and industry. As a research participant, you will receive exclusive insights and have the opportunity to discuss with our academic team during a findings briefing.    Please contact us if you are interested or have queries regarding our research: meropi.tzanetakis@manchester.ac.uk or laura.mcculloch@manchester.ac.uk     This project is generously supported by the Centre for Digital Trust and Society at The University of Manchester.    We look forward to hearing from you.    Dr Meropi Tzanetakis and Laura McCulloch   Department of Criminology Dr Mustafa A. Mustafa, Dr Lucas Cordeiro and Dr Youcheng Sun   Department of Computer Science #verification #testing #software #softwareengineering #ai #artificialintelligence #llm #security #fuzzing #modelchecking #cybersecurity #formalmethods

  • No alternative text description for this image

To view or add a comment, sign in

Explore topics