Trifon Anchev Trifonov

Trifon Anchev Trifonov is an Associate Professor in the Department of Computer Informatics at the Faculty of Mathematics and Informatics, Sofia University 'St. Kliment Ohridski'. His academic work focuses on mathematical logic, computational mathematics, and generalized net modeling.

• Current affiliation: Sofia University
• Research areas: Proof theory, fuzzy logic, neural networks
• Email: triffon@fmi.uni-sofia.bg

Trifonov's research explores the intersection of mathematical logic and computational systems through Dialectica interpretations and generalized net frameworks. He contributes to formal verification, intuitionistic fuzzy logic, and adaptive neural architectures.

His publications demonstrate expertise in algorithmic analysis, proof mining, and computational modeling. Key collaborations include work with K. Atanassov, K. Georgiev, and G. Mengov in generalized net systems and neural signal processing.

Trifonov's work spans multiple subfields including:

• Proof theory and constructive mathematics
• Intuitionistic fuzzy logic
• Adaptive resonance neural networks
• Generalized net modeling
• Computational complexity
• Formal verification techniques