Lukasz Ziarek

Lukasz Ziarek is an Associate Professor in the Department of Computer Science and Engineering at the University at Buffalo, and serves as the Associate Dean for Academic Affairs in the School of Engineering and Applied Sciences. His research focuses on concurrency, real-time systems, distributed systems, and formal verification. He holds a PhD from Purdue University (2011) and a BS from the University of Chicago (2003).

His research explores topics such as real-time Java implementations, session types for distributed protocols, and visual debugging techniques. Recent work includes formal models for secure multiparty computation, IoT device validation, and optimizing visual SLAM systems for robotics applications. He has contributed to frameworks like Juav (a Java-based UAV autopilot) and RTDroid (a real-time Android extension).

Ziarek has received notable awards including the 2023 IEEE Technological Innovation Award, 2022 Meyerson Teaching Award, and 2018 NSF CAREER Award. His grants include collaborative research on UAV software infrastructure and real-time communication protocols. He actively develops tools like PTDETECTOR for JavaScript library analysis and Anodize for mixed-criticality systems.

His work integrates formal methods with practical systems, addressing challenges in embedded systems security, compiler optimization, and real-time programming language design. He maintains a lab focused on advancing reliable software for autonomous systems and distributed computing environments.