Christophe Crochet
Scholar

Christophe Crochet

Google Scholar ID: Zflc2yYAAAAJ
Teaching & Research Assistant
Formal SpecificationInternet ProtocolMalware AnalysisSymbolic ExecutionFormal Verification
Citations & Impact
All-time
Citations
34
 
H-index
4
 
i10-index
2
 
Publications
7
 
Co-authors
6
list available
Contact
No contact links provided.
Publications
4 items
Network Simulator-Centric Compositional Testing
Formal Techniques for (Networked and) Distributed Systems · 2025
Cited
2
Cited
1
Resume (English only)
Academic Achievements
  • Collaborated with Bill Baker and others on research in design methods, graphic statics, and parametric approaches; also contributed to teaching.
Research Experience
  • Participated in several international seminars; supervised multiple doctoral theses covering areas such as geometric characterization of structural robustness, limit state graphical analysis, etc.
Education
  • PhD in Architecture Engineering, Professor.
Background
  • Research interests include structural design, graphic statics analysis.
Miscellany
  • Has a particular interest in the application of wood in construction.