English Tiziana Margaria Cited by user David Eppstein on 26 Mar 2023 Tiziana Margaria (born 1964) is a computer scientist and software engineer whose research topics include formal methods and model-driven engineering.