Computer Science
Types, programs, semantics, lambda calculus, functional programming.
Taikymai
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.