91ÊÓƵ

Syed Akbari

Master's Student

Bio

Hometown: Dearborn, Michigan

Very interested in math/philosophy, but also Brazilian Jiu Jitsu, powerlifting, reading (huge Brandon Sanderson fan), hiking, national parks, etc.

Education

• B.Ss in discrete math, computer science, and cognitive science from the University of Michigan
• Currently doing my M.S in LCM at 91ÊÓƵ

Research

• Foundational math (computability theory, model theory, set theory, category theory, etc)
• Intersection of foundational math, with epistemology
• Formal methods in computer science (program synthesis, formal verification, neurosymbolic approaches to AI, etc)