-
complex circuits. The team is particularly interested in formal methods and system verification to ensure reliability from the earliest development stages. A major research focus concerns hardware security
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions in france