Homepage of Jason D. Linehan

About Me

I'm a software engineer and applied mathematician focused on experimental mathematics involving algorithmic information theory. I specialize in information modeling software, analytics, and lots of other stuff.

I'm working at the Wikimedia Foundation where we are innovating methods for transparent, privacy-preserving data analytics.

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