Software
worth trusting.
-
Programming languages
-
Artificial intelligence
-
Security
-
Trust
-
Assurance
One group across Columbia, Tufts, and UCLA.
At Pasta Lab, we never write spaghetti code.
Bringing programming languages, AI, and security research together to understand, build, and protect the software we rely on every day.
Principal investigators
Loading.
Students
What we are building
Loading.