Formal Systems with blurred edges
Dynamic & Formal Systems lab
Research on proof systems, strong normalization and applied type theory.
philosophy courses should teach how to use proof assistants
𝕏, @scheminglunatic
Axiomatic Elaboration team
Research on formal approaches to ethics and rational thought.
Ethics and æsthetics are one
6.421
Industrial Infrastructure
Runtime and transport infrastructure for large-scale computation.
It is a, uh, bright object and it's, uh, obviously rotating because it's flashing. It's, uh, way out in the distance, apparently rotating in a very rhythmic fashion because the, uh, flashes come around, uh, almost on time.
Apollo 17, 1972
Macroeconomics formalization department
Formalizing economics research with high-performance computing and formal systems.
In the long run we are all dead
A Tract on Monetary Reform (1923)
Automated Reasoning division
Developing automated tools to support human reasoning and discovery.
La connaissance est devenue force productive immédiate, et, par suite, [...] les conditions du processus vital de la société sont elles-mêmes passées sous le contrôle de l' intellect général, et sont réorganisées conformément à lui.
Grundrisse
LSH Department
Research on history, art and literature.
Les Hommes ont inventé la Naphthaline de la Beauté, cela s'appelle l'Art. C'est quelque fois un peu erratique dans ses formes, mais c'est quelque fois très beau.
Le joli Mai