Konstantinos Pouliasis

Konstantinos Pouliasis is a doctoral candidate in Computer Science at the CUNY Graduate Center, advised by Professor Sergei N. Artemov. He concurrently serves as an Adjunct Lecturer at Hunter College, where he has taught since 2010. His research focuses on modal logic with justifications, type systems, and mechanized logic, particularly exploring their intersections with programming language foundations and category theory.

Education:

• PhD Candidate in Computer Science, CUNY Graduate Center (current)
• MSc in Computer Science, CUNY Graduate Center (2009-2012)
• Diploma in Informatics, National Technical University of Athens (2009)

Research Interests: Pouliasis investigates justification logics, type systems, and their computational applications. Notably, he develops an explicit modal type system for justification logic, linking it to modular mechanisms in functional programming. His work also bridges category theory and logic, with a focus on foundational questions in programming languages.

Awards:

• University Fellowship (2013-current)
• Quantitative Research Fellow (2013-2014)
• Graduate Teaching Fellow (2009-2013)
• Student Excellence Award (2001)

Teaching & Advising: He has taught over 40 courses at CUNY institutions, including programming, databases, and computer architecture. His teaching evaluations consistently receive praise from faculty. Professional roles include co-founding the roommate service ‘rumr’ (2014) and IT support at the Graduate Center (2009-2013).

Community Engagement: Member of the Association of Symbolic Logic, co-organizer of ‘Constructivity at CUNY’ conference, and part of the Graduate Center Greek Community.