Skip to content

Languages, Models and Verification

Presentation
Members
- Defended Theses
Projects
Publications
Software
Seminar
Jobs

[Dec. 2022] Dara Ly defended his PhD

Dara Ly defended his PhD on December 5, 2022. Congratulations Dara!

Author lmvadmPosted on 6 December 2022

Leave a Reply Cancel reply

Your email address will not be published. Required fields are marked *

Comment

Name *

Email *

Website

Post navigation

Previous Previous post: [Dec. 2022] Florian Groult joins the LMV Teams as a PhD Student

Next Next post: [Jan. 2023] Talk of Jolan Philippe, IMT Atlantique

News

[April 2024] Two new WG: Lambda and LL
[April 2024] Kostia Chardonnet’s talk
[April 2024] Marine Delvallez & Julien Glorian join the team
[April 2024] Téo Bernier presents his work at FASE
[March 2024] Armaël Gueneau’s talk

Lastest publications

Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021
Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey
Combining Deductive Verification with Shape Analysis

Archives

April 2024 (4)
March 2024 (1)
January 2024 (2)
December 2023 (1)
November 2023 (2)
September 2023 (1)
August 2023 (1)
July 2023 (2)
June 2023 (2)
May 2023 (3)
April 2023 (3)
February 2023 (4)
January 2023 (1)
December 2022 (2)
November 2022 (1)
October 2022 (1)
April 2022 (1)
March 2022 (2)
February 2022 (1)
December 2021 (2)
October 2021 (1)
June 2021 (1)
May 2021 (1)
March 2021 (2)
December 2020 (2)
November 2020 (1)
September 2020 (1)
June 2019 (4)

Presentation
Members
- Defended Theses
Projects
Publications
Software
Seminar
Jobs

LMV Team Proudly powered by WordPress