Julien Lange
Lecturer
United KingdomResearch Interests
Explore related searches
Contact this professor
Get a free first email built on one of their papers, ready for you to edit and send yourself.
About
Julien Lange is a Lecturer at Royal Holloway University of London, United Kingdom. His research focuses on automated verification methods, static analysis of concurrent programming, and data-race freedom in GPU kernels. Recent publications include works on process communication, sound algorithms for asynchronous session subtyping, and verification of Go programs. He is actively engaged in advancing the field of concurrency and programming language verification.
Articles (7)
Year:
2024
Year:
2024
Year:
2023
Year:
2023
Year:
2023
Year:
2021
Year:
2020
Collaborators (4)
Bernardo Toninho
Universidade de Aveiro
Nobuko Yoshida
University of Oxford
Anders Møller
Professor
Aarhus University
Raymond Hu
Lecturer
Queen Mary University of London
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.