# Todd Schiller > Personal site of Todd Schiller, PhD — co-founder and CEO of PixieBrix. Writing focuses on software engineering, browser extensibility, programming languages, verification, AI coding, and applied reasoning. Todd holds a PhD in software engineering and programming languages from the University of Washington (advised by Michael Ernst), and BS/MS degrees from Washington University in St. Louis. The blog spans both peer-reviewed research interests (verification, DSLs, machine learning) and practical engineering essays (debugging, testing, hiring, web automation). Blog posts live under `/blog/{slug}.html`. Static pages live under `/pages/{slug}.html`. Interactive single-page artifacts (calculators, demos) live under `/artifacts/{slug}/`. For the full, current list of posts use the feeds below rather than caching any per-article list. ## About - [About Todd Schiller](https://toddschiller.com/pages/about.html): Biography, education, research lineage, and professional service. - [Subscribe](https://toddschiller.com/pages/subscribe.html): Email subscription page (Buttondown). RSS/Atom feeds are also linked from this page. - [Publications](https://toddschiller.com/pages/publications.html): Peer-reviewed research publications. - [Speaking](https://toddschiller.com/pages/speaking.html): Conference talks and invited presentations. - [Artifacts](https://toddschiller.com/pages/artifacts.html): Interactive single-page tools and demos hosted on the site. - [Social / Contact](https://toddschiller.com/pages/contact.html): Links to LinkedIn, GitHub, X, Bluesky, and other profiles. ## Blog - [Blog index](https://toddschiller.com/blog/index.html): Paginated list of all posts (essays and notes), newest first. - [Notes](https://toddschiller.com/notes/index.html): Notes-only index. Shorter pieces, announcements, talk previews, and cross-posts. Distinct from long-form essays. - [Sitemap](https://toddschiller.com/sitemap.xml): XML sitemap covering every post, page, and index on the site. - [All posts — Atom feed](https://toddschiller.com/feeds/all.atom.xml): Canonical machine-readable feed of every post (title, summary, body, date). - [All posts — RSS feed](https://toddschiller.com/feeds/all.rss.xml): Same content as the Atom feed in RSS 2.0. ## Topic feeds Per-category Atom feeds. Each is the authoritative list of posts in that category. - [Browser Extensions](https://toddschiller.com/feeds/browser-extensions.atom.xml): Browser extensibility, web automation, PixieBrix. - [Software Engineering](https://toddschiller.com/feeds/software-engineering.atom.xml): Debugging, process, asking good questions, and engineering practice — including the economics of software work. - [Verification](https://toddschiller.com/feeds/verification.atom.xml): Static analysis, type systems, formal methods. - [Testing](https://toddschiller.com/feeds/testing.atom.xml): Unit testing and data provenance. - [Reasoning](https://toddschiller.com/feeds/reasoning.atom.xml): Analytical reasoning, ACH, Bayesian methods. - [Machine Learning](https://toddschiller.com/feeds/machine-learning.atom.xml): Applied ML and probabilistic models. - [Domain Specific Languages](https://toddschiller.com/feeds/domain-specific-languages.atom.xml): DSL design, especially for finance. - [Talent Acquisition](https://toddschiller.com/feeds/talent-acquisition.atom.xml): Hiring, interviewing, and diversity.