Franck Cassez, Ph. D.
Barangaroo, New South Wales, Australia
949 followers
500+ connections
About
Expertise: distributed systems, blockchain, smart contracts, formal methods, static analysis, real-time systems, program verification, control, WCET
2019 – Applied Researcher, ConsenSys Quorum Protocol Engineering, Formal methods, static analysis, program verification.
Associate Professor 2015-2019 in Software Engineering, Department of Computing, Macquarie University, Sydney, Australia
Principal Researcher 2012-2015 at National ICT Australia, Sydney, Australia
Researcher & Marie Curie Fellow 2010--2011 at CNRS, Nantes, France
Researcher & Marie Curie Fellow 2008--2010 at NICTA, Sydney, Australia
Researcher 1997--2008 at CNRS, Nantes, France
Associate Professor 1993--1997, Univ. of Brest, France
Activity
-
Humbled and honoured for our paper with Alejandro Ranchal-Pedrosa to be best paper at IEEE/IFIP DSN Conference 2024.
Humbled and honoured for our paper with Alejandro Ranchal-Pedrosa to be best paper at IEEE/IFIP DSN Conference 2024.
Liked by Franck Cassez, Ph. D.
-
Secure Random Number Generation on Blockchain / Rollups: I am doing a talk tomorrow at the Ethereum Engineering Group meetup summing up my research…
Secure Random Number Generation on Blockchain / Rollups: I am doing a talk tomorrow at the Ethereum Engineering Group meetup summing up my research…
Liked by Franck Cassez, Ph. D.
-
🎥 We’ve created an animation illustrating how to set up a real-time #FraudDetection pipeline using Feldera: 1️⃣ Write Feature Queries in SQL: Start…
🎥 We’ve created an animation illustrating how to set up a real-time #FraudDetection pipeline using Feldera: 1️⃣ Write Feature Queries in SQL: Start…
Liked by Franck Cassez, Ph. D.
Experience
Education
Patents
-
Analysis of program code
Issued US 9760469B2
Languages
-
English
Full professional proficiency
-
French
Native or bilingual proficiency
-
Spanish
Limited working proficiency
-
German
Elementary proficiency
Organizations
-
ACM, IEEE
-
- Present
More activity by Franck
-
This morning, DFCRC's CTO Dr. Mark Staples provided a balanced perspective during the Blockchain Australia Week panel discussion, "Do CBDCs and…
This morning, DFCRC's CTO Dr. Mark Staples provided a balanced perspective during the Blockchain Australia Week panel discussion, "Do CBDCs and…
Liked by Franck Cassez, Ph. D.
-
Neha Rungta's talk on provably secure authorization at AWS re:Inforce 2024 is already available online. Of course, my favorite part was when she…
Neha Rungta's talk on provably secure authorization at AWS re:Inforce 2024 is already available online. Of course, my favorite part was when she…
Liked by Franck Cassez, Ph. D.
-
LayerZero V2 Deep Dive: Modular Cross-Chain Security: 👾 Matt Krak will explain the architecture of LayerZero V2 and explain how the new architecture…
LayerZero V2 Deep Dive: Modular Cross-Chain Security: 👾 Matt Krak will explain the architecture of LayerZero V2 and explain how the new architecture…
Liked by Franck Cassez, Ph. D.
-
I am looking for a PhD student in Cryptography to join our group at the IMDEA Software Institute ! Topics of interest include zero-knowledge proofs,…
I am looking for a PhD student in Cryptography to join our group at the IMDEA Software Institute ! Topics of interest include zero-knowledge proofs,…
Liked by Franck Cassez, Ph. D.
-
Born on this day in 1936, Bob Floyd received the 1978 #ACMTuringAward for having a clear influence on methodologies for the creation of efficient and…
Born on this day in 1936, Bob Floyd received the 1978 #ACMTuringAward for having a clear influence on methodologies for the creation of efficient and…
Liked by Franck Cassez, Ph. D.
-
I'm glad to announce the beta of the new Move on Aptos Compiler. The new compiler features a more modern, flexible architecture which is unified…
I'm glad to announce the beta of the new Move on Aptos Compiler. The new compiler features a more modern, flexible architecture which is unified…
Liked by Franck Cassez, Ph. D.
-
Great to see Aptos network validator partners continuing to improve the security of the ecosystem! By deploying a robust bare metal infrastructure…
Great to see Aptos network validator partners continuing to improve the security of the ecosystem! By deploying a robust bare metal infrastructure…
Liked by Franck Cassez, Ph. D.
-
If you are getting into Software Engineering Intelligence and like to explore some scenarios and their ROIs, ping me. Alternatively, get in touch…
If you are getting into Software Engineering Intelligence and like to explore some scenarios and their ROIs, ping me. Alternatively, get in touch…
Liked by Franck Cassez, Ph. D.
-
Thanks to an appointment by CFTC Commissioner Caroline D. Pham. I’ll help inform CFTC actions around key issues and policy proposals with respect to…
Thanks to an appointment by CFTC Commissioner Caroline D. Pham. I’ll help inform CFTC actions around key issues and policy proposals with respect to…
Liked by Franck Cassez, Ph. D.
-
Pleased to share our work on the decentralization of PoS blockchains was presented at the IEEE ICBC 2024 at Trinity College, Dublin, with an…
Pleased to share our work on the decentralization of PoS blockchains was presented at the IEEE ICBC 2024 at Trinity College, Dublin, with an…
Liked by Franck Cassez, Ph. D.
-
When someone mentions the corporate world, automatically you think of… Suits. Ties. Formality. But when I joined a start-up tech company, I was…
When someone mentions the corporate world, automatically you think of… Suits. Ties. Formality. But when I joined a start-up tech company, I was…
Liked by Franck Cassez, Ph. D.
Other similar profiles
Explore collaborative articles
We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.
Explore More