Richard Zach
Calgary, Alberta, Canada
Summary
🤩
Rockstar🎓
Top SchoolRichard Zach is a professor of philosophy in Calgary with 13 years of experience specializing in mathematical logic, the history and philosophy of logic, and analytic philosophy. He is a founding editor of both the Review of Symbolic Logic and the Journal for the Study of the History of Analytic Philosophy, blending scholarly leadership with editorial rigor. Trained with a Ph.D. in Logic and the Methodology of Science from UC Berkeley, he bridges deep theoretical work and practical scholarly communication. Outside traditional academia he contributes as a full-stack developer to the OpenLogic open-source textbook, where he has implemented LaTeX tooling and custom environments to improve pedagogical presentation—an example of applying formal expertise to accessible educational resources.
13 years of coding experience
Doctor of Philosophy (Ph.D.), Logic and the Methodology of Science, Doctor of Philosophy (Ph.D.), Logic and the Methodology of Science at University of California, Berkeley
German, French
Github Skills (7)
reformatting10
latex10
text-formatting10
tex10
text-format10
code-formatting10
documentation8
Programming languages (12)
Github contributions (5)
OpenLogicProject/OpenLogic
Dec 2012 - Dec 2022
An open-source, customizable intermediate logic textbook
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:1 release, 49 reviews, 639 commits in 10 years 1 month
Contributions summary:Richard's contributions center on the creation and modification of LaTeX style files, suggesting involvement in the design and implementation of document formatting and presentation. They introduced features such as tokenizing text and creating environments for word parts and informal explanations. Furthermore, the user has been responsible for updating, restructuring, and refactoring various project files.
customizableintermediatelogictextbook
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.