PyOhio 2026
Benedek Kaibas is a current undergraduate student at Allegheny College. He started his computer science journey as a freshman at Allegheny College and fell in love with programming. His favorite languages are C++ and Python. He is interested in static analysis, compilers and specifically the Clang Static Analyzer. His research interests includes Python Type Checkers. He founds type checkers especially interesting in the static analysis field because of their unique behavior and complexity that makes it challenging to analyze and evaluate them.