Alecs P. Hacker

Alecs P. Hacker, known formally as Alessio Ferrarini, is a dedicated Computer Science Ph.D. student at IMDEA Software in Madrid. His groundbreaking research is focused on programming languages and verification, with a particular emphasis on type theory, functional programming, logic, and semantics. He delves into the theoretical aspects of refinement types, actively contributing to the development of Liquid Haskell, a prominent functional programming tool.

His academic journey includes Master's and Bachelor's degrees in Computer Science from the University of Padua, Italy, and a valuable study abroad experience at VU Amsterdam. For his Master's thesis, Alessio developed "Abstract Hoare logic," a significant generalization of Hoare logic, offering a "semantics first" approach to achieve sound and complete partial correctness/incorrectness program logics. His Bachelor's work involved creating a type system and implementing crucial optimizations for the CPL programming language, utilized by a major Italian software development firm.

Alessio is a prolific contributor to the field, with recent work including presentations such as "Large Elimination and Indexed Types in Refinement Types" at prestigious conferences like TYPES 2025. He actively seeks collaboration and welcomes discussions on research, reflecting his passion for advancing programming language theory.