|
Separation Axioms |
 |
Distributive Lattice |
»Center of Excellence in Computation, Algebra, and Topology
The mission of the Center of Excellence in Computation, Algebra and Topology (CECAT) is to provide a forum for world class interdisciplinary research where computation meets algebra, topology and related mathematical fields. The CECAT has a track record of supporting its mission by hosting workshops that attract national and international visitors, attracting national and international visitors for research collaboration, developing affiliations with research groups at fellow institutions, seeking external funding and developing online mathematical resources. In addition, the Center will seek to support post-doctoral fellows and graduate students in affiliation with Chapman's graduate programs in Computational Sciences.
Members
Drew Moshier
Director
Professor of Mathematics and Computer Science, has been at Chapman University since
1994. His research interests include real number computation, bitopolopgical spaces
and their applications in logic and information theory, and computational linguistics.
Michael Fahy
Professor of Mathematics and Computer Science, is interested in computational methods
for generalizing the Ore condition to explore the structure of localizations of non-commutative
rings.
Peter Jipsen
Professor of Mathematics, is an expert on algebraic logic and ordered algebraic structures.
He is particularly interested in residuated lattices, including Linear logic algebras,
Basic Logic algebras, MV-algebras, lattice-ordered groups and relation algebras, as
well as lattices and semilattices with operators in general.
Alexander Kurz
Professor of Computer Science, studies models of computation using techniques from
logic, algebra, topology, category theory and other areas of mathematics. He is known
for his work on modal logic and coalgebras. More recently he has been pursuing foundations
of quantitative logics for the specification and verification of heterogeneous systems
as well as relational and compositional techniques supporting scalable solutions for
blockchain-based technologies. He is also interested in applications of these mathematical
techniques outside of computer science, in particular in economics and the political
and social sciences.
Oghenetega Ighedo
Associate Professor of Mathematics
Jonathan Weinberger
Assistant Professor, Fowler School of Engineering, works in theoretical computer science
and mathematical logic. His work employs category theory and (homotopy) type theory.
These are foundational theories to capture and unify a range of concepts and constructions
in computer science (e.g. programming languages, software erification, computability
theory) and mathematics (e.g. algebra, topology, geometry). He is also interested
in computer proof assistants and formalized mathematics, as well as the foundations
of machine learning.
Frederick K. Dashiell, Jr.
Ph. D. in Mathematics, Visiting Scholar at UCLA. Dr. Dashiell investigates areas in
pointfree topology, lattice theory, topological questions related to computer science,
rings of continuous functions, descriptive set theory, and Banach space theory. The
interplay between algebra and topology remains a long time theme in his research.
Achim Jung
Professor of Theoretical Computer Science, University of Birmingham, UK. His research
interests include domain theory, denotational semantics of programming languages,
lambda calculus, topology, cryptography, and Computer Science education.
Aleš Pultr
Professor of Mathematics, Charles University, Prague, Czech Republic.
Joanne Walters-Wayland
Ph. D. in Mathematics. Research interests include frames (locales), σ-frames, Lindelöf
frames and other aspect of point-free topology.
Melvin Henriksen
Founding Member
Professor of Mathematics at Harvey Mudd College 1969-2009.
Bernhard Banaschewski
Professor of Mathematics, McMaster University, Canada, 1955-2022