professor of EECS at MIT, currently visiting IAS. working in theoretical computer science namely algorithm design, complexity theory, circuit complexity, etc. i'll let you know when P != NP is proved (and when it's not)

official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app