Computer Science
Types, programs, semantics, lambda calculus, functional programming.
Aplikoj
Databases
Schemas, functorial data migration, queries, data integration.
Logic
Proofs, propositions, intuitionistic logic, type theory.
Bioinformatics
Networks, sequences, alignments, phylogenetic structures, workflows.
Quantum Computing
Monoidal categories, diagrams, processes, quantum circuits.