Homepage of Jason D. Linehan

About Me

I'm staff software engineer at the Wikimedia Foundation, serving as technical lead of the Product Data Engineering team, where we innovate methods for transparent, privacy-preserving research and data analytics at scale.

I'm sometimes a research mathematician focused on experimental mathematics involving algorithmic information theory. I received my B.Sc. in Mathematics from University of Florida, and was a Mathematics Ph.D. student at Dartmouth College.

I'm a member of the W3C Internationalization and Web Applications working groups.

Mathematics

Research

• Fourier transforms on $SL_2(\mathbb{Z}/p^n\mathbb{Z}) and related numerical experiments
  Breen, Benjamin et al. arXiv:1710.02687v1 [math.RT]
• Bending the law: geometric tools for quantifying influence in the multinetwork of legal opinions
  Leibon, Greg et al. Artificial Intelligence and Law 26(2) p 145--167.
• Axioms of normal compressors and applications to data analysis
  Logic seminar (part 2/2) given at University of Florida
• A universal information metric on finite binary strings
  Logic seminar (part 1/2) given at University of Florida
• Approximating Kolmogorov complexity for data analysis
  SIAM talk given at University of Florida
• Introduction to compression methods for data clustering
  Draft article

Coursework

• Notes for MHF6306 Mathematical Logic I
• Notes for MAT6932 Descriptive Set Theory I
• LaTeX homework template

Software

Research

• sl2rep
  Compute ordinary irreducible representations for the family of finite groups SL₂(Z/pⁿZ) for odd primes p.
• pete
  Multithreaded (POSIX threads) permutation statistics package
• hug-1
  Context-mixing data compressor (paq-derivative) satisfying normality axioms of Cilibrasi and Vitanyi
• mqtc
  Genetic programming solver for minimum quartet tree cost clustering method

Voluntaries

• libjdl
  C library providing simple implementations of common data structures and functions
• cloth
  Simple, insecure HTTP server for educational purposes
• barnacle
  An unfinished procedurally-generated roguelike engine in C
• plex
  Lexer analyzer generator in C

Things at the Bottom

• In C, or not in C
• Photos I took
• More photos I took