|
|
On the editorial board of the journals
Algebra Universalis and
Order
Member of CECAT:
Chapman University Center of
Excellence in Computation, Algebra and Topology
Core Group member of BLAST: A conference series on
Boolean Algebra, Logic, Universal Algebra, Set Theory and
Topology
Steering Committee member of RAMiCS: A conference
series on
Relational and Algebraic Methods in
Computer Science
|
Web pages for my students
|
Web pages related to my research
|
Research Interests
Algebra, Logic, Discrete Mathematics, Computer Science,
Formally Verified Mathematics, Interactive Mathematics on the Web.
List of citations to my publications (click on the number in the "Cited by" column)
|