Your search query : System and Software Design & Verification
8 results found
The laboratory is developing a very strong expertise in cybersecurity. It has a wide range of skills related to cybersecurity issues in the fields of software and hardware architectures, communications and networks, critical systems and risks related…
Read moreFabien Dagnat has been a lecturer in the IT department of the IMT Atlantique in Brest since 2002. Doctor since 2001 and HDR since January 2016, he is the leader of the P4S team at Lab-STICC. His field of research and teaching, software engineering, c…
Read moreFormer PhD students: Dr Quentin Lainé, 2021-2025, grant founded by Labex CominLabs, PhD thesis on “Event acquisition chain of light in a liquid xenon 3-photon camera" Dr Morgane Vollmer, 2020-2024, grant funded by DGA, PhD thesis on "Software RNS su…
Read moreUntil few years ago, embedded systems were often isolated from their environment. Due to new applications such as IoT, autonomous systems or more generally applications that require significant computing and storage resources (e.g. artificial inte…
Read more