Tomas Petricek

@tomasp.net

719 Followers 158 Following

Assistant prof at @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent and @cst.cam.ac.uk.

A photo of Prague with dark sky in the background and gardens in the front with a label <Programming> 2025, Thank you for attending the conference!
Keynote speakers: Molly Wright Steenson - Architecture and Generativity Thomas Wuerthinger - What We Tried and Didn't Work for GraalVM
Don't Call Us, We'll Call You: Towards Mixed-Initiative Inte­ractive Proof Assistants for Programming Language Theory Human Aspects of Types and Reasoning Assistants, 2024 Schema Evolution in Interactive Programming Systems The Art, Science, and Engineering of Programming, 2024
WhatsApp message: After you left this afternoon, I discovered a truly marvellous isomorphism between Unix and Smalltalk that this chat is too small to contain