Hey, I finished my M.S. in Logic at the CMU Philosophy department! I enrolled there part-time in fall 2017 (after auditing two courses the year before), so that took a very very long time. You can check it out here on my site, or on YouTube, or on arxiv.org.