This site is supported by donations to The OEIS Foundation.
User:Michael Dixon
From OeisWiki
I am a graduate student in Computer Science, currently working on CTL satisfiability problems. My closest equivalent to a home page can be found at https://www.info.iastate.edu/individuals/info/218173/Dixon-Michael.