Loading…
Attending this event?
View analytic
Monday, May 7 • 9:00am - 10:30am
The Shape of a Program

Log in to save this to your schedule and see who's attending!

When we talk about programs, we often use metaphors of space: we speak of connection and separation, of paths and boundaries, of areas and lengths. We clearly have some intuition that sees a program as a shape.

In this talk, I will take this intuition seriously, applying topology, the fundamental mathematics of space. I will show how a program can be mathematically described as a shape — a bitopological manifold — arranging actions and capabilities in a frame of time, space, causality, and possibility.

No previous knowledge of topology will be assumed.

Speakers
avatar for Lisa Lippincott

Lisa Lippincott

Chief Software Architect, Tanium
Lisa Lippincott is Chief Software Architect at Tanium, a bay-area startup. She's also a language nerd, and has contributed to arcane parts of the C++ standard. In her spare time, she studies mathematical logic with a category-theoretic approach.


Monday May 7, 2018 9:00am - 10:30am
Paepcke Auditorium

Attendees (26)