Franziskus Wiesnet
I am a researcher in the Institute of Discrete Mathematics and Geometry at the TU Wien. Currently I am working as manager on the projekt "Material Interpretation" funded by the Austrian Science Fund  FWF.
From 2012 to 2017 I have studied maths at the LudwigMaximiliansUniversität in Munich. From 2017 to 2021 I did my doctorate in mathematics at the Universities of Trento and Verona and since 2019 also at the LudwigMaximiliansUniversität in Munich. My supervisors were Peter Schuster and Helmut Schwichtenberg.
News
From September 15 to 21, 2024, I participated in the Autumn School "Proof and Computation" in Fischbachau, where I gave a talk on "Tools and Tips for Math Research" and led a tutorial on the proof assistant Minlog.
Research
My main areas of research are proof theory, constructive mathematics, and formal system. To date, most of my papers are concerned with one or more of the following topics:
 Proof assistents; in particular Minlog and Agda.
 Constructive Algebra
 Constructive Analysis
 Signed digit representation of real numbers
 Program extraction from proofs
 Proof mining
 The axiom of choice and its variants
 Well quasi orders
 Linear logic
 Artificial Intelligence
 Set Theory
 Game Theory
Publications
Preprints

A material interpretation of maximal ideals in ℤ[X]
Franziskus Wiesnet
(pdf, python program)
Peer reviewed

Limits of real numbers in the binary signed digit representation
Nils Köpp and Franziskus Wiesnet
Logical Methods in Computer Science, Volume 18, Issue 3; 2022
(pdf, doi) 
Rates of convergence for asymptotically weakly contractive mappings in normed spaces
Thomas Powell and Franziskus Wiesnet
Numerical Functional Analysis and Optimization, 2021
(doi) 
A universal algorithm for Krull’s theorem
Thomas Powell, Peter Schuster and Franziskus Wiesnet
Information and Computation, 104761, 2021
(pdf, doi) 
An algorithmic version of Zariski's lemma
Franziskus Wiesnet
Connecting with Computability. Lecture Notes in Computer Science, vol 12813. Springer, Cham. 2021
(pdf, doi) 
Logic for exact real arithmetic
Helmut Schwichtenberg and Franziskus Wiesnet
Logical Methods in Computer Science, Volume 17, Issue 2, 2021
(pdf, doi) 
An algorithmic approach to the existence of ideal objects in commutative algebra
Thomas Powell, Peter Schuster and Franziskus Wiesnet
Proceedings of WoLLIC '19, LNCS 11541, p. 533–549, 2019
(pdf, doi) 
Introduction to Minlog
Franziskus Wiesnet
Proof and Computation, World Scientific, p. 233288, 2018
(pdf, doi) 
Higman's lemma and its computational content
Helmut Schwichtenberg, Monika Seisenberger and Franziskus Wiesnet
Advances in proof theory. Birkhäuser, Cham, p. 353375, 2016.
(pdf, doi)
PhD thesis
The Computational Content of Abstract Algebra and Analysis
Supervised by Peter Schuster and Helmut Schwichtenberg
LudwigMaximiliansUniversität München, Università degli Studi di Verona, Università degli Studi di Trento, 2021
(pdf, doi)
Master thesis
Konstruktive analysis mit exakten reellen Zahlen (german)
Supervised by Helmut Schwichtenberg
LudwigMaximiliansUniversität München, 2017
(pdf)
Talks
 Par means Parallel: Multiplicative Linear Logic as Concurrent Functional Programs
Proof and Computation 2022 international meeting at Cohaus Schlehdorf, 2022
 An algorithmic version of Zariski's lemma
Computability in Europe 2021: Connecting with Computability online seminar at the Universiteit Gent, 2021
 A case study of proof mining in analysis
Doc in Progress online seminar at the Università di Trento, 2021  A case study in constructive algebra: Zariski's lemma
Oberseminar Mathematische Logik at the LudwigMaximiliansUniversität München, 2020  Constructive Real Algebra
Algebra and Algorithms in Djerba, 2020
 An algorithmic approach to the existence of ideal objects in commutative algebra
Workshop on Logic, Language, Information and Computation in Utrecht, 2019
 An Algorithmic Approach for Maximal Objects in Algebra
Arbeitstagung BernMünchen in München, 2019  Applications of the Functional Interpretation with States
Münchenwiler Meeting Herbst 2018 in Münchenwiler, 2018  Limits in the Signed Digit Representation of Reals
Arbeitstagung BernMünchen in Bern, 2018 
Limit Values in the Signed Digit Representation
1st SwissItalian Workshop on Proof and Computation in Verona, 2018 
Computing with infinite data via proofs
Workshop on Continuity, Computability, Constructivity  From Logic to Algorithms in Nancy, 2017
Hobbys
Poker
I enjoy playing poker online or at small live tournaments.The Dark Eye
The Dark Eye is a penandpaper fantasy roleplaying game similar to Dungeons & Dragons. I enjoy being the game master for adventures with my friends and colleagues.YouTube Videos
On my YouTube channel LogicLab I share tutorials and scientific lectures that provide insights into my research work. Topics such as proof assistants, constructive mathematics, and more are presented in accessible videos and talks.
Contact
franziskus[dot]wiesnet[at]tuwien[dot]ac[dot]at
+43 (0) 1 58801185184
Technische Universität Wien
Institut für Diskrete Mathematik und Geometrie
Wiedner Hauptstraße 8–10/104
1040 Vienna, Austria