Mihaela Sighireanu
id:
mihaela-sighireanu-234-15243286
title:
Mihaela Sighireanu
text:
Mihaela Sighireanu is a French and Romanian computer scientist specializing in model checking and software verification. She works as a professor at Paris-Saclay University and as a member of the Formal Methods Lab run jointly by Paris-Saclay University, CNRS, and the École normale supérieure Paris-Saclay.
brand slug:
wiki
category slug:
encyclopedia
description:
French and Romanian computer scientist
original url:
https://en.wikipedia.org/wiki/Mihaela_Sighireanu
date created:
date modified:
2021-03-15T18:23:22Z
main entity:
{"identifier":"Q105939774","url":"https://www.wikidata.org/entity/Q105939774"}
image:
fields total:
13
integrity:
14