About

Lisandra Silva is a highly skilled researcher in the field of Formal Verification, with a proven track record of 4.19 years in the industry. Currently, she is serving as a Researcher at INESC TEC, a renowned associate laboratory for technology and science. In addition, she holds the position of Invited Assistant at the University of Minho, where she is actively involved in academic research and teaching. Lisandra has a Master's degree in Computer Science from the University of Minho, which she completed in 2019. Prior to this, she earned a Bachelor of Science degree in Computer Software Engineering from the same institution in 2014. Her educational background has equipped her with a strong foundation in computer science and software engineering, which she has leveraged in her research work. Lisandra's expertise lies in Formal Verification, and she has worked on several projects related to proving liveness using Agda. She has also gained valuable experience in distributed systems consensus protocols during her internship at Oracle. Her technical skills and research experience make her a valuable asset to any organization in the field of Formal Verification. As a Research Scientist, Lisandra is committed to staying up-to-date with the latest developments in her field and continuously improving her skills. Her proficiency in research methodologies and data analysis has enabled her to contribute to several publications and research papers. She is a detail-oriented individual with excellent problem-solving skills, which she applies in her research work to develop innovative solutions. Overall, Lisandra Silva is a highly motivated and skilled researcher with a passion for Formal Verification. Her strong educational background, technical skills, and relevant experience make her a valuable addition to any organization in the field of computer science and software engineering.