Mountain View, California, United States
If there's one thing you take away from my LinkedIn, let it be this: I am probably one of the only handful of people uniquely capable of operating across DevRel, academic research, science communications, technical marketing, and community engagement – all at the same time. Two years ago, I finished a PhD in Logic and Philosophy of Science and walked into developer product marketing at a Fortune 500 tech company. It turns out the skills transfer surprisingly well: scoping a go-to-market plan isn't that different from structuring a proof — you identify what you need to show, understand your audience, figure out the dependencies, and tell a great story. At Intuit, I own GTM for frontend development tooling and AI-powered research/design/user-testing tooling, reaching thousands of engineers, PMs, and designers, tech and non-tech alike. I've built editorial infrastructure for the Intuit Engineering blog, run comms and participant engagement for a 480-person hackathon with Anthropic, managed Intuit's KubeCon/ArgoCon presence, and co-authored the company's year-long tech thought leadership strategy. I also still publish: my research articles on mathematical logic and mathematical practice appear in top-tier academic journals, and I frequently deliver lectures at national academic conferences. In my free time, I write for 26,000+ subscribers on Zhihu & Medium in both English and Mandarin, covering mathematics, logic, and philosophy. I speak six languages and read four more.
- Strategized and executed go-to-market programs for frontend development toolings (dev-facing) and research-design toolings (PM/Designer-facing), including launch communications, documentation, enablement resources, community events, and adoption tracking. Drove measurable adoption of AI tools across thousands of tech and non-tech roles - Organized the Intuit x Anthropic PM/Designer Claude Code Hackathon, serving 480+ participants across PM/Design/Research functions. Planned and executed on event branding/communications (internal and external) and participant engagement - Program-managed Intuit's presence at KubeCon/ArgoCon North America: content and design audie, speaker enablement, booth scheduling and logistics, attendee "Know Before You Go" sessions, and authored the post-event executive summary for leadership - Moderated and content-planned the public-facing Intuit Tech Stories webinar series to wide developer audiences, achieving strong engagement - Managed operations of the Intuit Engineering Medium blog; authored transition plan, created submission guidelines, intake forms, and AI-assisted review process, built an automated editorial backlog, and socialized the new governance process across engineering and communications teams - Authored year-long thought leadership content strategy for Intuit's tech brand. Co-authored blogs for leaders to publish on Intuit Engineering and LinkedIn, coordinating reviews with corporate communications, legal, and PR - Created reusable product case study templates for standardizing how platform teams communicate impact to leadership
- Writing and publishing science communication and expository articles on mathematical logic, the history of mathematics, and philosophy - Breaking down complex abstract concepts for general audience, highlighting concrete motivations in their historical origins
- Grew and actively maintaining an account on the largest Chinese Q&A website, Zhihu, with over 20,000 subscribers for bilingual content - Publishing science communication and expository articles on mathematical logic and analytic philosophy - Managing specialized columns for philosophy of mathematics and mathematical logic
My dissertation examines 1) the ways in which equivalence results are taken as evidence and justification in mathematics (prototypical example: equivalence between lambda-calculus and Turing machines as evidence for the Church-Turing Thesis), 2) the historical development of the theory of Borel equivalence relations, and 3) the use of metamathematical methods in descriptive set theory - Presented original research results at various international venues. - Organized support group for UC Irvine logic students across different departments. - Organized and participated in departmental seminar on machine ethics and AI alignment, presented research on logical uncertainty and algorithmic randomness.
- Designed and created original teaching materials catered to diverse courses, including symbolic logic, linguistics, psychology, law, writing, and sociology - Led discussion sessions, provided hints and solutions to class exercises - Provided individual feedback and assistance to students in need, during office hours and review sessions