Roger Maddux (born 1948) is an American

mathematician A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, mathematical structure, structure, space, Mathematica ...

specializing in

algebraic logic In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with Free variables and bound variables, free variables. What is now usually called classical algebraic logic focuses on the identification and algebraic de ...

. He completed his B.A. at

Pomona College Pomona College ( ) is a private university, private Liberal arts colleges in the United States, liberal arts college in Claremont, California. It was established in 1887 by a group of Congregationalism in the United States, Congregationalists ...

in 1969, and his Ph.D. in mathematics at the

University of California, Berkeley The University of California, Berkeley (UC Berkeley, Berkeley, Cal, or California), is a Public university, public Land-grant university, land-grant research university in Berkeley, California, United States. Founded in 1868 and named after t ...

in 1978, where he was one of

Alfred Tarski Alfred Tarski (; ; born Alfred Teitelbaum;School of Mathematics and Statistics, University of St Andrews ''School of Mathematics and Statistics, University of St Andrews''. January 14, 1901 – October 26, 1983) was a Polish-American logician ...

's last students. His career has been at

Iowa State University Iowa State University of Science and Technology (Iowa State University, Iowa State, or ISU) is a Public university, public land-grant university, land-grant research university in Ames, Iowa, United States. Founded in 1858 as the Iowa Agricult ...

, where he fills a joint appointment in

computer science Computer science is the study of computation, information, and automation. Computer science spans Theoretical computer science, theoretical disciplines (such as algorithms, theory of computation, and information theory) to Applied science, ...

and mathematics. Maddux is primarily known for his work in

relation algebra In mathematics and abstract algebra, a relation algebra is a residuated Boolean algebra expanded with an involution called converse, a unary operation. The motivating example of a relation algebra is the algebra 2''X'' 2 of all binary re ...

s and

cylindric algebra In mathematics, the notion of cylindric algebra, developed by Alfred Tarski, arises naturally in the Algebraic logic, algebraization of first-order logic with equality. This is comparable to the role Boolean algebra (structure), Boolean algebras pl ...

s, and as the inventor of relational bases.

Books by Maddux

* 1990: (with Clifford H. Bergman & Don L. Pigozzi, editors) ''Algebraic Logic and Universal Algebra in Computer Science'',

Lecture Notes in Computer Science ''Lecture Notes in Computer Science'' is a series of computer science books published by Springer Science+Business Media since 1973. Overview The series contains proceedings, post-proceedings, monographs, and Festschrifts. In addition, tutorials ...

#425, Springer books * 2006: ''Relation Algebras'', vol. 150 in ''Studies in Logic and the Foundations of Mathematics''. Elsevier Science

Notes

External links

Maddux home page
at the

. * Living people 1948 births 20th-century American mathematicians 21st-century American mathematicians Pomona College alumni {{US-mathematician-stub