CURRICULUM VITΓ of WILLIAM DeMEO 5 Dec 2021
π Contact Information
tel: +15169123162
address: 570 Park Ave, Apt 8D, New York, NY 10065
url: williamdemeo.org
email: williamdemeo@gmail.com
π Research Interests
Theory. Universal algebra, logic, complexity theory, type theory, category theory, machine learning.
Practice. Proof mechanization in Agda, functional programming for Big Data in Scala/Spark.
π Education

Doctor of Philosophy in Mathematics, University of Hawaii, Honolulu (May 2012).
Thesis: Congruence lattices of finite algebras
Advisor: Ralph Freese 
Master of Science in Mathematics, Courant Institute, New York University, New York.
Thesis: Approximating eigenvalues of large stochastic matrices
Advisor: Jonathan Goodman 
Bachelor of Arts in Economics, University of Virginia, Charlottesville.
π Academic Appointments
 Postdoctoral Fellow, Charles University, Dept. of Algebra, Prague (20192021).
 Burnett Meyer Instructor, University of Colorado, Dept. of Mathematics, Boulder (20172019).
 Visiting Assistant Professor, University of Hawaii, Dept. of Mathematics, Honolulu (20162017).
 Postdoctoral Associate, Iowa State University, Dept. of Mathematics, Ames (20142016).
 Visiting Assistant Professor, Univ South Carolina, Dept. of Mathematics, Columbia (20122014).
π Industry Appointments
 Senior Research Scientist, Textron Systems Corp., Digital Imaging Research, Maui (20012006) Worked fulltime on AFOSR contracts developing new algorithms and parallel (smp and mpi) programs for processing images acquired by Haleakala Observatories, including Multiframe Blind Deconvolution for removing distorting effects of Earth's atmosphere from images of satellites and other NEOs; executed our programs on the MHPCC supercomputer.
π Publications

Constraint Satisfaction Problems over Finite Structures, with Libor Barto and Antoine Mottet.
36th Annual ACM/IEEE Symp. on Logic in Comp. Sci. (LICS 2021), pp. 113 (preprint link) 
Bounded homomorphisms and finitely generated fiber products of lattices, with Peter Mayr and Nik RuΕ‘kuc.
Intl. J. of Algebra and Computation (30):693710, 2020 (preprint link) 
Polynomialtime tests for difference terms in idempotent varieties, with Ralph Freese and Matthew Valeriote.
International Journal of Algebra and Computation (29):927949, 2019 (preprint link) 
Isotopic algebras with nonisomorphic congruence lattices, Algebra Universalis (72):295298, 2014 (preprint link)

Expansions of finite algebras & their congruence lattices, Algebra Universalis (69):257278, 2013 (preprint link)

Proceedings of Algebras and Lattices in Hawaii 2018, editor, with K. Adaricheva, J. Hyndman (Lulu Press).

Topics in nonabelian harmonic analysis and DSP applications (best paper award)
Proceedings of the International Symposium on Musical Acoustics, Nara, Japan, 2004 (preprint link) 
Characterizing musical signals with WignerVille interferences
Proceedings of the International Computer Music Conference (ICMC 2002), Gothenburg, Sweden, 2002 (preprint link) 
Approximating eigenvalues of large stochastic matrices
Proceedings of the 8th Copper Mt. Conference on Iterative Methods, Colorado, 1998 (preprint link)
Publications in Process.

Universal algebraic methods for constraint satisfaction problems, with Clifford Bergman
(accepted) to appear in Logical Methods in Computer Science (preprint link) 
A machinechecked proof of Birkhoff's variety theorem in MartinLΓΆf type theory, with J. Carette
(submitted) 27th Intl~Conf. on Types for Proofs and Programs (TYPES 2021) (preprint link)
Books (these are works in progress)
 Category Theory: a concise course, with C. Aten and V. Capretta
 The Agda Universal Algebra Library, with Jacques Carette
 Complex Analysis Exams
 Real Analysis Exams
π Courses Taught
Charles University in Prague
University of Colorado, Boulder
 Discrete Mathematics with Lean prover component (Math 2001) Spring 2019
 Discrete Mathematics with Lean prover component (Math 2001) Fall 2018
 Abstract Algebra (Math 3140) Fall 2018
 Model Theory graduate course (Math 6000) Spring 2018
 Linear Algebra (Math 2130) Spring 2018
 Linear Algebra (Math 2130), Fall 2017.
University of Hawaii
 Applied Calculus (Math 215) Spring 2017
 Senior Seminar (Math 480) Spring 2017
 Calculus IV (Math 244) Fall 2016
 Introduction to Advanced Math (Math 321) Fall 2016
Iowa State University
 Linear Algebra (Math 317) Spring 2016
 Linear Algebra (Math 317) Fall 2015
 Survey of Calculus (Math 160) Fall 2015
 Elementary Linear Algebra (Math 207) Spring 2015
 Calculus I (Math 165) Spring 2015
 Abstract Algebra (Math 301) Fall 2014
 Calculus I (Math 165) Fall 2014
University of South Carolina
 Linear Algebra graduate course (Math 700) Spring 2014
 Calculus I (Math 141) Spring 2014
 Discrete Structures (Math 374) Fall 2013
 Calculus for Business and Social Sciences (Math 122) Fall 2013
 Discrete Structures (Math 374) Spring 2013
 Calculus for Business and Social Sciences (Math 122) Spring 2013
 Vector Calculus (Math 241) Fall 2012
 Calculus for Business and Social Sciences (Math 122) Fall 2012
University of Hawaii
 Probability Theory (Math 371) Summer 2011
 Applied Calculus I (Math 215) Summer 2009
 Mathematical Reasoning (Math 100) Summer 2010
π Certificates in Data Science
 Blockchain Basics (SUNY at Buffalo) 4week Coursera course; grade: 100% (verified certificate)
 Big Data Analysis with Scala and Spark (Ecole Polytechnique Federale de Lausanne), 4week Coursera course; grade: 93.4% (verified certificate)
 Functional Programming Principles in Scala (Ecole Polytechnique Federale de Lausanne), 6week Coursera course; grade: 100% (verified certificate)
 Functional Programming Design in Scala (Ecole Polytechnique Federale de Lausanne), 4week Coursera course; grade: 100% (verified certificate)
 Parallel Programming in Scala (Ecole Polytechnique Federale de Lausanne), 4week Coursera course; grade: 100%, (verified certificate)
 Startup Engineering (Stanford University), 12week Coursera course; grade: 99.3 (verified certificate)
π Honors and Awards

NSF Research Grant (no. 1500218 (20152018)
Project Title: Algebras and algorithms, structure and complexity theory
Description: 3yr collaborative research on algebraic approaches to constraint satisfaction problems
Role: Postdoctoral research fellow on a team with 6 senior scientists and 3 postdocs 
Magellan Scholar Grant (20132014)
Project Title: What does a nonabelian group sound like?
Description: See http://soundmath.github.io/GroupSound/
Role: Faculty mentor for undergraduate research 
ARCS Sarah Ann Martin Award for Outstanding Research in Mathematics, Honolulu 2011.

Best Paper Award, International Symposium on Musical Acoustics, Nara, Japan, 2004.
π Synergistic Activities

Organizer

Editor for Journal: "Algebra Universalis" 2018present.

Referee for Journals: "Algebra Universalis," "Order" and "Journal of Logic & Analysis," 2012present.

Working Group on Graduate Education, University of Hawaii.
Graduate Student Representative on committee of deans and department heads;
helped draft resolution for Committee on Research and Graduate Education. 
Graduate Student Organization: Faculty Senate Student Rep., Academic Committee Chair, Math Department Rep.
Mentor for Undergraduate Research: Mathematical Biology Program (mentored students in math and dsp for classifying marine life audio signals)
 Student Advising
 University of Colorado, Boulder: Served on doctoral candidacy exam committee for the following ph.d. students: Jordan DuBeau, Ali Latfi, Athena Sparks, Michael Wheeler, and Jeffrey Shriner.
 Iowa State University: REU mentor for Charlotte Aten; Honors thesis advisor for Joshua Thompson; Putnam Exam mentor at weekly exam practice meetings; Undergraduate Tea cohost of weekly undergraduate student gatherings; Iowa 4H Youth Conference volunteer mentor.
 University of South Carolina: Honors thesis mentor for Matthew Corley; South Carolina High School Math Contest exam design committee; Faculty mentor for Pi Mu Epsilon (math honors society).
π Summer Schools Attended
 Midlands Graduate School in the Foundations of Computing Science, April 1216, 2021, Univ. of Sheffield (virtual); category theory, homotopy type theory, proof theory.
 Midlands Graduate School in the Foundations of Computing Science, April 1418, 2019, Univ. of Birmingham; lambda calculus, category theory, univalent type theory in Agda.
 Oregon Programming Languages Summer School, July 321, 2018, University of Oregon; parallelism and concurrency.
 Computeraided Mathematical Proof, July 1014, 2017, Cambridge University; bringing proof technology into mainstream mathematics.
 Oregon Programming Languages Summer School, June 26July 8, 2017, University of Oregon; dependent, gradual, substructural type systems.
 Midlands Graduate School in the Foundations of Computing Science, April 1115, 2016, University of Birmingham; type theory, denotational semantics, category theory.
 Oregon Programming Languages Summer School, June 1628, 2014, University of Oregon; type theory, logic, semantics, verification.
 Midlands Graduate School in the Foundations of Computing Science, April 2226, 2014, University of Nottingham; simply typed lambda calculus, domain theory, category theory.
 LMS/EPSRC Short Course in Computational Group Theory, Jul 29Aug 2, 2013, University of St. Andrews; permutation & finitely presented groups, constructive recognition.
 NATO ASI on Computational Noncommutative Algebra, Il Ciocco, Italy, 2003.
π Talks
 Complexity of the Homomorphism Problem for Boolean Models
European virtual CSP seminar, Online, 2020.  Computational Tools for Universal Algebra Research
CSP World Congress 2020, Vols am Schlern, Italy 2020.  Formalizing Universal Algebra with Dependent and Inductive Types
AMS Joint Mathematics Meetings; Special Session: Algebras and Algorithms, Denver, CO 2020.  Computing Difference Term Operations in Polynomial Time
BLAST Conference, University of Denver, Denver, CO 2018.  Why Universal Algebra Needs Inductive, Dependent Types, Oregon Programming Languages Summer School, Eugene, OR 2018.
 A Tutorial Introduction to the Lean Prover, University of Colorado Logic Seminar, Boulder, CO 2018.
 The Lambda Calculus and Dependent Type Theory, University of Colorado Logic Seminar, Boulder, CO 2018.
 Representing Finite Lattices as Congruence Lattices, Colorado State University Algebra Seminar, Fort Collins, CO 2017.
 A Polynomialtime Test for Difference Terms in Idempotent Varieties, BLAST Conference, Vanderbilt University, Nashville, TN 2017.
 Algebraic approach to complexity of constraint satisfaction, University of Hawaii Logic and Analysis Seminar, Honolulu, HI 2017 (slides).
 Universal Algebraic Methods for Constraint Satisfaction Problems, AMS Fall Western Sectional Meeting: Special Session in Algebraic Logic, Denver, CO 2016.
 The Rectangularity Theorem of Barto and Kozik, Conference on Algebras and Algorithms, Boulder, CO 2016.
 Constraint Satisfaction Problems and Universal Algebra, Midlands Graduate School in the Foundation of Computing Science, Birmingham, England 2016.
 Permutability in Diamonds, Iowa State Algebra and Combinatorics Seminar, Ames, IA 2016.
 Which Commutative Idempotent Binars are Tractable?, Vanderbilt Shanks workshop: Open Problems in Universal Algebra, Nashville, TN 2015.
 Some Small Finite Algebras Yielding Tractable CSP Templates, Iowa State Algebra and Combinatorics Seminar, Ames, IA 2015.
 Algebraic CSP and Tractability of Commutative Idempotent Binars, BLAST Conference, University of North Texas, Denton, TX 2015.
 Isotopic Algebras, Iowa State Algebra and Combinatorics Seminar, Ames, IA 2015.
 What Does a Nonabelian Group Sound Like?, MAA Special Session: At the Intersection of Mathematics and the Arts, Baltimore, MD 2014.
 Interval Enforceable Properties of Finite Groups, AMS Special Session on Finite Universal Algebra, Louisville, KY 2013.
 Tutorial: UACalc at the command line and in the cloud, Workshop on Computational Universal Algebra, Louisville, KY 2013.
 Approximating Eigenvalues of Large Stochastic Matrices, University of South Carolina Combinatorics Seminar, Columbia, SC 2013.
 Congruence Lattices of Finite Algebras (plenary lecture), BLAST Conference, Chapman University, Orange, CA 2013.
 Transposition Principles for Subgroups and Equivalence Relations, Zassenhaus Group Theory Conference, Asheville, NC 2013.
 Isotopic Algebras with Nonisomorphic Congruence Lattices, AMS Special Session on Algebras, Lattices, and Varieties, Boulder, CO 2013.
 Synchronizing Automata and the Δerny Conjecture, Graduate Algebra Seminar, University of Colorado, Boulder, CO 2013.
 The Finite Lattice Representation Problem in Four Parts, University of South Carolina Algebra and Logic Seminar, Columbia, SC 2012.
 Interval Sublattice Enforceable Properties of Finite Groups, The 31st Ohio StateDenison Mathematics Conference, Columbus, OH 2012.
 Expansions of Finite Algebras and their Congruence Lattices, American Mathematical Society sectional meeting, Honolulu, HI 2012.
 Intervals in Subgroup Lattices and Permutation Representations, Western Carolina University Group Theory Seminar, Cullowhee, NC 2012.
 Recent Progress on the Finite Lattice Representation Problem, Achievement Rewards for College Scientists: Scholar Presentations, Honolulu, HI 2011.
 The Finite Lattice Representation Problem, First Joint Meeting of the Korean and American Mathematical Societies, Seoul, KOR 2009.
 Object reconstruction from multiple views, Air Force Office of Scientific Research AMOS Program Review, Maui 2004.
 Approximating eigenvalues of large stochastic matrices, 8th Copper Mt. Conference on Iterative Methods, Colorado 1998.
π References
 Clifford Bergman*, Professor of Mathematics, Iowa State University
 Venanzio Capretta, Assistant Professor of Computer Science, University of Nottingham
 Ralph Freese, Professor of Mathematics, University of Hawaii
 Peter Jipsen, Professor of Mathematics, Chapman University
 George McNulty, Professor of Mathematics, University of South Carolina
 Peter Mayr*, Assistant Professor of Mathematics, University of Colorado, Boulder
 J.B. Nation, Emeritus Professor of Mathematics, University of Hawaii
(* teaching reference)