pixel art Ben

You've stumbled onto the personal webpage of Benjamin F Jones.

On the web


Benjamin F Jones
e: benjaminfjones@gmail.com


Groq, Inc.
WeWork co-working space 700 SW 5th Ave
Portland, OR 97204


  • New A Language for Unified Verification and Implementation for Distributed Avionics To appear in Journal of Aerospace Information Systems, 2018. [Full Text]
  • New Modular Model-Checking of a Byzantine Fault-Tolerant Protocol NASA Formal Methods 2017, Lecture Notes in Computer Science book series (LNCS, volume 10227). DOI: 10.1007/978-3-319-57288-8. [Full Text]
  • Bounded Integer Linear Constraint Solving via Lattice Search 13th International Workshop on Satisfiability Modulo Theories. [Full Text] [Local Full Text]
  • On the Structure of Involutions and Symmetric Spaces of Dihedral Groups, Note Mat. 34 (2014) no. 2, 23–40, [Full Text] [Preprint]
  • On the Support Varieties of Demazure Modules J. Aust. Math. Soc. *91* (2011), 343-363, arxiv
  • First cohomology for finite groups of Lie type: simple modules with small dominant weights Trans. Amer. Math Soc. 365 (2013), 1025-1050, arxiv
  • Normality of orbit closures in the enhanced nilpotent cone Nagoya Math. J. *203* (2011), 1--45, arxiv
  • Singular Chern Classes of Schubert Varieties via Small Resolution Int. Math. Res. Notices *8* (2010) 1371--1416, doi
  • An analog of Kostant's theorem for the cohomology of quantum groups Proc. Amer. Math. Soc. *138* (2010), 85--99 pdf


  • New LIMA: A language for integrated modeling and analysis; see the paper "A Language for Unified Verification and Implementation for Distributed Avionics" for more details! source
  • New BLT: A lattice-based (bounded) integer linear programming solver; see the paper "Bounded Integer Linear Constraint Solving via Lattice Search" above for details! source
  • New language-sal: a SAL model generator in Haskell; source
  • fpga-tunes: a week long FPGA audio synthesis project; source code and design
  • iHaskell Notebook: the start of a notebook interface to GHC; source
  • FiveUI: a user interface consistency checker; source
  • Computational Mathematics Projects: various math programming projects in support of papers; source