Mathieu MONTIN:
Leader of the high assurance team at Tweag
- Formation: Engineer and doctor in computer sciences
- Current position: Leader of the high assurance team at Tweag
- Former position: Postdoctoral researcher at LORIA, Nancy
- Work email: mathieu.montin@tweag.io
- Personal email: o.montin@gmail.com
- Specialties: Formal methods, functional languages, MDE, smart contracts
- Languages: Agda, Haskell, Xtend
A formal framework for heterogeneous systems semantics
- Defense: ENSEEIHT, Toulouse, France, september 2020
- Reviewers: Frédéric Mallet, Catherine Dubois
- Full thesis: thesis.pdf
- Source code: detailed page
- Topics: CCSL, Refinement, Temporal behaviour, Separations of concerns, Agda
LibNDT: Towards a formal library on spreadable properties over linked nested datatypes
- Conference: MSFP 2022 workshop, part of ETAPS 2022, Munich, Germany
- Full paper: msfp2022.pdf
- Official page: official page
- Topics: Nested datatypes, Bushes, Agda, Coq
Towards multi-layered temporal models: A proposal to integrate instant refinement in CCSL
- Conference: FORTE 2021, Valetta, Malte
- Full paper: forte2021.pdf
- Official page: official page
- Topics: CCSL, Refinement, Temporal constraints
Mechanizing the relational semantics of the Clock Constraint Specification Language
- Conference: MEDI 2018, Marrakesh, Morocco
- Full paper: medi2016.pdf
- Official page: official page
- Topics: Semantics mechanization, CCSL, Agda
Ordering strict partial orders to model behavioural refinement
- Conference: REFINE workshop, part of FLOC 2018, Oxford, England
- Full paper: refine2018.pdf
- Official page: official page
- Topics: Instant refinement, Partial orders, Agda
Ordering strict partial orders to model instant refinement
- Conference: Junior Workshop JRWRTC, part of RTNS 2017, Grenoble, France
- Full paper: paper
- Official page: official page
- Topics: Instant refinement, Partial orders, Agda
