معرفی
Franziskus Wiesnet is a researcher at the Institute of Discrete Mathematics and Geometry at the Technische Universität Wien, where he currently serves as project manager for the FWF-funded project 'Material Interpretation'. His academic journey includes a mathematics degree from Ludwig-Maximilians-Universität München (2012-2017) and a joint doctorate from the Universities of Trento, Verona, and Munich (2017-2021), supervised by Peter Schuster and Helmut Schwichtenberg.
His research focuses on proof theory, constructive mathematics, and formal systems, with particular emphasis on proof assistants like Minlog and Agda. Key areas include constructive algebra, analysis, and the computational content of mathematical proofs. He has contributed to topics such as program extraction from proofs, proof mining, and algorithmic approaches to algebraic structures like maximal ideals and Zariski's lemma.
Recent work includes a conference paper on maximal ideals in ℤ[X] and a YouTube channel (LogicLab) offering tutorials on proof assistants and constructive mathematics. His publications span journals like Logical Methods in Computer Science and Information and Computation, with a focus on bridging theoretical logic and computational applications.
