Noah D. Ortiz 2025 7 7 https://brumal.net/0003/ 0003 /0003/ Contact Handle: "abstrnoah" at almost everywhere. Email: "my handle" at my domain name. CMU AndrewID: "ndortiz" at andrew dot cmu dot edu. CMU Office: WEH 8114. Summer 2 Office Hours: MW 4-5p + anytime door is open. Physical address: redacted. Please hit me with anonymous feedback or contact me onymously via email. References Context Noah D. Ortiz Pavel Kovalev https://brumal.net/abstrnoah/ abstrnoah /abstrnoah/ Noah D. Ortiz Person false https://brumal.net/abstrnoah Carnegie Mellon University 0009-0001-5159-4326 PhD Student in Mathematical Logic Hello 👋I am a first-year PhD student at CMU studying mathematical logic, viz. homotopy type theory.I am a happy Linux terminal user, rely on Git and Vim for just about everything, and manage my packages with Nix.In March 2023, I graduated with a BS in mathematics from Caltech. I am a member of Dabney House.Last I updated this line, I was reading Caliban's War.Click collapsed trees to expand... Noah D. Ortiz202577https://brumal.net/0003/0003/0003/ContactHandle: "abstrnoah" at almost everywhere.Email: "my handle" at my domain name.CMU AndrewID: "ndortiz" at andrew dot cmu dot edu.CMU Office: WEH 8114.Summer 2 Office Hours: MW 4-5p + anytime door is open.Physical address: redacted.Please hit me with anonymous feedback or contact me onymously via email. Noah D. Ortiz202577https://brumal.net/0004/0004/0004/KeysPGP: A998 04C0 F82B 99C8 8DAF 2CFD 3943 6096 D088 07E8 or keys.openpgp.org.SSH: github. Noah D. OrtizPavel Kovalev202577https://brumal.net/0002/0002/0002/Teaching AssistantshipsI have served as a TA for the following courses at CMU:Pavel Kovalev2025https://brumal.net/0007/0007/0007/21-127 Concepts of Mathematics (Summer II 2025)CourseCarnegie Mellon UniversityStudents, please feel free to contact me anytime and see Canvas for official course policies. Noah's OHs: MW 4-5p (WEH 8114). Other OHs: See Canvas. 2025https://brumal.net/0006/0006/0006/21-127 Concepts of Mathematics (Spring 2025)CourseCarnegie Mellon University 2024https://brumal.net/0005/0005/0005/21-120 Differential and Integral Calculus (Fall 2024)CourseCarnegie Mellon University Noah D. Ortiz202577https://brumal.net/0008/0008/0008/Reading GroupsI have helped organise the following reading groups:Noah D. Ortiz2025https://brumal.net/0009/0009/0009/Higher Category Theory (Summer 2025)Reading GroupfalseCarnegie Mellon UniversitySpun off from a categorical logic course, we are reading Higher Categories and Homotopical Algebra.We meet weekly Thursdays 1p in DH 2122.Please feel free to contact Noah if you're interested in joining! :q! Backlinks Pavel Kovalev 2025 https://brumal.net/0007/ 0007 /0007/ 21-127 Concepts of Mathematics (Summer II 2025) Course Carnegie Mellon University Students, please feel free to contact me anytime and see Canvas for official course policies. Noah's OHs: MW 4-5p (WEH 8114). Other OHs: See Canvas. Noah D. Ortiz 2025 https://brumal.net/0009/ 0009 /0009/ Higher Category Theory (Summer 2025) Reading Group false Carnegie Mellon University Spun off from a categorical logic course, we are reading Higher Categories and Homotopical Algebra. We meet weekly Thursdays 1p in DH 2122. Please feel free to contact Noah if you're interested in joining! Related https://brumal.net/roastnoah/ roastnoah /roastnoah/ Noah's anonymous feedback form https://forms.gle/z9u7pHUkW8SBDJT89 Loading... Contributions