Florian Herzig

Florian Herzig
Name	Florian Herzig

Florian Herzig is a contemporary scholar and researcher whose work spans computer science, cryptography, and formal methods. He has contributed to foundational work in secure system design, protocol verification, and applied algebraic techniques. Herzig's career includes academic appointments, industry collaborations, and contributions to open-source projects and standards.

Early life and education

Herzig was born and raised in Europe, where he undertook undergraduate studies at a technical university and advanced training at prominent research institutions. He completed degrees in computer science and mathematics, studying at institutions associated with Technische Universität München, ETH Zurich, and research laboratories connected to Max Planck Society and Fraunhofer Society. During his doctoral studies he worked under supervisors linked to groups at École Polytechnique Fédérale de Lausanne and collaborated with researchers from University of Cambridge, Oxford University, and Carnegie Mellon University on topics intersecting cryptography and software verification. His early mentors and collaborators included faculty affiliated with Stanford University, Massachusetts Institute of Technology, Princeton University, and research staff from Microsoft Research and Google Research.

Academic career and research

Herzig has held positions at universities and research centers across Europe and North America, including posts associated with University of Edinburgh, Imperial College London, University of Oxford, and institutes tied to European Research Council funding. His research group engaged with projects funded by agencies such as National Science Foundation, German Research Foundation, Horizon 2020, and industry partners like Intel Corporation, IBM Research, and ARM Holdings.

His research themes include formal verification of cryptographic protocols, automated theorem proving, and applied type theory. He published work that connects techniques from lambda calculus, category theory, and automata theory to practical problems in secure distributed systems and hardware-software co-design. Herzig collaborated with teams working on protocol standards at Internet Engineering Task Force and with contributors to the OpenSSL and LibreSSL projects. He also engaged with efforts at Linux Foundation initiatives and research consortia affiliated with CERN and European Organization for Nuclear Research technology transfer units.

Herzig supervised doctoral students and postdoctoral researchers who later joined faculties at University College London, Technical University of Denmark, University of Toronto, and research labs at Facebook AI Research and DeepMind. He served on program committees for conferences including ACM SIGSAC Conference on Computer and Communications Security, IEEE Symposium on Security and Privacy, USENIX Security Symposium, and International Conference on Functional Programming.

Notable contributions and awards

Herzig is recognized for contributions to protocol verification frameworks, model extraction techniques, and compositional security proofs. His work on mechanized verification influenced toolchains used in industry and academia, intersecting with projects such as Coq, Isabelle, HOL4, and Lean theorem prover. He contributed to specification efforts that informed standards bodies like IEEE Standards Association and working groups at World Wide Web Consortium.

He received awards and honors including grants and fellowships from the European Research Council, prizes from national science academies, and recognition from professional societies such as the Association for Computing Machinery and the Institute of Electrical and Electronics Engineers. His papers were cited in award-winning projects at venues like ACM CCS, NDSS Symposium, Crypto, and Eurocrypt.

Selected publications

Herzig authored and co-authored peer-reviewed articles and book chapters on verification, cryptographic protocol design, and formal methods. Representative publications include contributions to proceedings of ACM SIGPLAN, IEEE, and Springer series. He published collaborative work with researchers from Princeton University, ETH Zurich, Cornell University, Harvard University, and Yale University that advanced automated reasoning techniques and secure compilation methods. His articles appeared in journals associated with Springer Nature, ACM Digital Library, and IEEE Xplore.

Selected titles (representative): - A mechanized framework for compositional protocol verification, presented at ACM SIGSAC Conference on Computer and Communications Security. - Secure compilation and verified compilation techniques for mixed-criticality systems, published in Springer Lecture Notes in Computer Science. - Automated extraction of cryptographic models from high-level specifications, appearing in proceedings of IEEE Symposium on Security and Privacy.

Personal life and affiliations

Herzig is active in professional societies and editorial boards, serving on committees for the Association for Computing Machinery, IEEE Computer Society, and national academies connected to Max Planck Society and Fraunhofer Society. He participates in workshops and policy advisory groups affiliated with European Commission research programs and collaborates with standards organizations such as Internet Engineering Task Force and ISO technical committees. Outside academia he has contributed to open-source projects and startup ventures in cybersecurity, working with incubators tied to Cambridge Innovation Center and technology transfer offices at ETH Zurich and Imperial College London.

Category:Computer scientists Category:Cryptographers