Jan Otop

Research interests

Automata theory, Weighted automata, Learning automata

Automated deduction, Unification

Publications: 

DBLP

Research funding

•   Synthesis via active learning: theory and applications. NCN OPUS

Former projects

• Quantitative specifications: learning, algorithms and applications. NCN OPUS

• Weighted automata for quantitative properties. NCN SONATA

• Automated Reasoning in Equational Theories. MNiSW PhD grant

Scientific duties

• co-chair of FCT 2025

• PC member of CONCUR 2020 and CONCUR 2020