Michael Raskin

Michael Raskin is a Lecturer (maître de conferences) at LaBRI, University of Bordeaux, where he conducts research in theoretical computer science with a focus on distributed systems and formal methods. His work bridges theoretical foundations with practical implementations, particularly in population protocols, temporal graphs, and Petri nets.

His research interests span Theoretical Computer Science, Distributed Systems, Algorithms, and Formal Methods, with specific expertise in population protocols, temporal graph analysis, vector addition systems, and verification techniques for parameterized systems. His publications demonstrate a consistent focus on computational complexity, state complexity, and threshold phenomena in distributed models.

Recent publication trends show a strong emphasis on temporal graph theory (with multiple papers on random temporal graphs and giant components), population protocol analysis (including modular protocols and leaderless rendez-vous systems), and verification techniques for parameterized systems. His work often combines mathematical rigor with practical implementation insights.

Raskin has developed significant software projects including:

• Agnostic Lizard - A portable code walker for Common Lisp
• QueryFS - A filesystem defined through compiled queries

His technical contributions span both theoretical advances and practical systems implementation, with a recurring theme of applying programming language techniques to systems problems. His work on Common Lisp tools demonstrates a commitment to practical language implementation alongside theoretical research.