User:Robert C. Lyons
Before retiring, Bob Lyons was a senior software engineer at Amazon. He has an M.S. in Computer Science from University of Wisconsin, Madison, and a B.A. in Mathematics from Lehigh University.
Bob contributed the following integer sequences to the On-Line Encyclopedia of Integer Sequences (OEIS): A219696, A235383, A253426 and A296818. These sequences received the highly coveted nice keyword. The A235383 sequence was one of the three winners of the 2014 OEIS contest for best new integer sequence.
Bob developed an Alexa skill (OEIS-Skill) that allows Amazon Echo users to access the OEIS via their Echo.
Bob proved that the XML schema conformance problem is intractable for Schematron, RELAX NG (with W3C XML Schema Datatypes) and the Namespace Routing Language. He presented the results at the Extreme Markup Languages conference. The paper is available at http://www.unidex.com/scp/paper.pdf.
Bob proved that XSLT is Turing complete. He invented the Turing Machine Markup Language (TMML), which is an XML language for describing Turing machines. Bob developed a TMML interpreter, which is a Universal Turing Machine, in XSLT.