Tinko Tinchev

Tinko Tinchev is an Associate Professor at the Department of Mathematical Logic and Applications within the Faculty of Mathematics and Computer Science at Sofia University. His research interests include mathematical logic, formal systems, and algorithms. He maintains an active presence through lecture notes and academic resources.

Contact: Email, Website

Office: Room 242, Б Block, Faculty of Physics (Office hours: Wed 1:15-3:00 PM, Fri 12:15-2:00 PM).