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.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

The Softer Side of a Formal Methods Researcher

  • Barry D. Floyd

摘要

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.