The Softer Side of a Formal Methods Researcher
摘要
In this article I present the softer side of Professor Tiziana Margaria, who is more commonly known for her work in computer science research. Focusing on Formal Methods and Software Systems, Tiziana is a highly regarded researcher and educator. She has been the highest ranking female Computer Scientist researcher in Ireland since she moved to the country, among her numerous other accomplishments. This article presents some of her professional accomplishments and collaborations concerning innovation in education, soft skills, health care, and simplicity. While my presentation covers many initiatives in which I participated and is not exhaustive, it does provide a snapshot of her broad interests and interdisciplinary accomplishments.