Bruno Bentzen
Assistant Professor at Zhejiang University
Hangzhou City, Zhejiang, China
Summary
👤
Senior🎓
Top SchoolBruno Bentzen is an Assistant Professor at Zhejiang University with a decade of research and academic experience at the intersection of philosophy, logic, and computer science. His work centers on the philosophical foundations of mathematical constructivism—especially intuitionism—and the theory and foundations of type theory, informed by a computer science background. He has held postdoctoral positions at Carnegie Mellon and the Czech Academy of Sciences, contributing to projects in formal verification, constructive analysis, and foundational type-theory formalism. Bruno combines rigorous formal methods with philosophical analysis, bridging technical work in proof and verification with conceptual issues in mathematics. Based in Hangzhou, he brings an international trajectory across Brazil, the U.S., and China that informs both his research and teaching.
10 years of coding experience
Bachelor of Science (BSc), Computer Science, Bachelor of Science (BSc), Computer Science at Universidade Católica de PernambucoDoctor of Philosophy (PhD), Logic, Doctor of Philosophy (PhD), Logic at Sun Yat-sen UniversityMaster of Arts (MA), Philosophy, Master of Arts (MA), Philosophy at Universidade Federal de Pernambuco
Portuguese, English, Spanish, German, French, Chinese
Stackoverflow
101reputation
0reached
0answers
0questions
Github Skills (15)
agda9
cubical-type-theory7
tactics7
placement6
logic5
refinement5
type-theory5
theorem5
sat-solver5
theorem-proving5
proof-assistant4
tlaplus4
homotopy-type-theory4
dependent-types4
coq3
Programming languages (5)
Github contributions (5)
bbentzen/hott-book-in-lean
Jan 2016 - Mar 2018
Contributions:108 pushes, 1 branch in 2 years 1 month
bbentzen/mpl
Jul 2018 - Mar 2019
Contributions:49 commits, 50 pushes, 1 branch in 7 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.