🐧
Ph.D. student in computer science, working on program verification and formal methods
-
CEA List
- Paris, France
-
13:28
(UTC +02:00) - https://www.normalesup.org/~dlesbre/
- in/dorian-lesbre-78a002122
- https://orcid.org/0000-0002-4328-6753
Velimir Đurković
djvelimir
Highly experienced Senior Software Engineer. Proficient in a range of technologies including .NET, Java, Angular, JavaScript, and TypeScript.
Novi Sad, Vojvodina, Serbia
Alexandre DOYEN
alexandredoyen29
Ph.D. student at Binsec. My work is focused on network protocols fuzzing to find backdoors.
Charles de Haro
Chaarlesss
PhD Student in Abstract Interpretation, Static Analysis and Synchronous Languages
École Normale Supérieure Paris, France
Vincenzo
VincenzoArceri
Assistant Professor (no-tenure track) @ University of Parma
University of Parma Parma
Owen Lamont
owenlamont
I'm a developer/analyst with interests in data visualisation, machine learning, computer graphics, and Python
OptiGrid Adelaide, Australia
Huỳnh Trần Khanh
huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be
@rocq-community Vietnam