معرفی
Dr. Filip Sieczkowski is an Assistant Professor in the School of Mathematical & Computer Sciences at Heriot-Watt University, specializing in the Department of Computer Science. His research focuses on foundational aspects of programming languages, including type systems, formal semantics, algebraic effects, and concurrency. He holds a PhD in Computer Science and has contributed to advancing theoretical frameworks for effect handlers, reduction theories, and parallel computation models.
His work explores topics such as generalized algebraic data types, operational semantics, and the integration of effect systems with concurrent programming. Recent publications highlight contributions to reduction theory for effect handlers and formal methods for parallel scheduling.
Dr. Sieczkowski’s research has been published in leading venues such as ACM SIGPLAN conferences and journals. His work emphasizes bridging theoretical insights with practical programming language design, particularly in functional and concurrent contexts. No awards or grants were explicitly mentioned in the provided text.
