معرفی
L. Thomas van Binsbergen is a Professor in the Department of Computer Science & Computer Engineering at the University of Wisconsin-La Crosse, affiliated with the College of Science & Health. His work focuses on language design, formal methods, and policy-based systems.
His research explores
- Executable formal specifications of programming languages
- Modular meta-language frameworks (e.g., iCoLa+, eFLINT)
- Data-dependent grammars for network protocols
- Purpose-based access control derived from GDPR
- Functional parsing algorithms (GLL, Happy-GLL)
- Policy enforcement in distributed systems
Recent publications (2020-2025) demonstrate trends in language parametric design, security policy formalization, and exploratory programming environments. Notable collaborations include Damian Frölich, Tim Müller, and Tom M. van Engers.
Van Binsbergen earned his PhD from Royal Holloway, University of London (2019) and contributes to conferences like GPCE, SLE, and workshops on programming language theory and data security.
۰مقاله منتشرشده
