معرفی
Andrzej Filinski is an Associate Professor at the Programming Languages and Theory of Computation section within the Department of Computer Science at the University of Copenhagen. His research focuses on applied programming-language semantics, particularly computational effects and machine-verifiable reasoning about programs.
- University: University of Copenhagen
- Department: Department of Computer Science
- Research Interests: Operational semantics of monadic effects, game-theoretic program contracts, formal verification, concurrency, distributed systems, and code certification.
Recent Publications include work on information flow logic using partial equivalence relations (2024), functional approaches to regular expression matching (2021), and streaming nested data parallelism on multicore systems (2016). His research spans theoretical foundations and practical applications in programming languages and computational theory.
۰مقاله منتشرشده
Andrzej Filinski در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- UUffe DalgasUniversity of Copenhagen · مدرس
- MMarc Ivan LøvenskjoldUniversity of Copenhagen · مدرس
- JJohannes Tang ReussUniversity of Copenhagen · مدرس
- FFinn Schiermer AndersenUniversity of Copenhagen · مدرس پارهوقت
- FFritz HengleinUniversity of Copenhagen · استاد
- BBenedict BuntingUniversity of Oxford · مدرس