LEAN-Seminar
Members and Organizers of the PhD-Seminar started a collaborative seminar on the LEAN theorem prover and related mathematics.
The LEAN-seminar is explorative and with a low barrier to entry.
Feel free to check it out!
organized by Guillaume Neuttiens, Lino Haupt and Jamal Drewlo.
There is a monthly seminar mainly organized by and intended for PhD students of the department of mathematics and computer science.
During the lecture period, it takes place
on the first Wednesday of the month from 12:00 to 14:00 p.m., SR 131, Carl-Zeiss-Straße 3
Each session features (up to) two talks. This seminar aims to present different research areas and to animate the doctoral life. The contributed talks should explain basic ideas of the achieved work avoiding complex details but communicating main intensions of the doctoral research to other students. Feel free to give a talk and join us. We also very welcome master students and postdocs who are interested to join.
Subscribe to our mailing list to receive regular updates:
https://lserv.uni-jena.de/mailman/listinfo/phd-seminarExterner Link
| Date | Time | Talk |
|---|---|---|
| Wednesday December 10th, 2025 | 12:15 pm | Lino Haupt Title: Anti-Classification Theory |
| Wednesday January 14th, 2026 | 12:15 pm |
Jamal Drewlo |
| Wednesday January 28th, 2026 This is part one of a two-part talk. The date of the second talk will be announced soon. |
12:15 |
Dimash Akpan Title: Elements of Integrable Hamiltonian Systems Abstract: I plan to give two talks, where I will present |
Leif Jacob
How to calculate sheaf cohomology of a toric variety
Lukas Grund
Jamal Drewlo
How to generalize periodicity
Emilie Pirch
Simon Murmann
How to solve a PDE 1
How to solve a PDE 2
TImon Weinmann
Coherent States and Traces of Operators
Ian Zimmermann
Dirichlet Forms 1
Dirichlet Forms 2
Marta Imke
Chaos Game and Fractal Generation
Jamal Drewlo
Constructions of Toeplitz subshifts in topological dynamics
Simon Puchert
Nonlinear canonical compactifiability
Simon Murmann
An approach to study (quasi-)linear evolution equations
Lino Haupt
Transfinite Ordinals, Measurable Functions and an Application
Zeyu Kang
Spectral theory of dynamical systems: an introduction
Simon Puchert:
"Harmonic functions on planar graphs via circle packings"
Oleksiy Köpp:
"Decay of Green functions on graphs"
Lino Haupt:
"Introduction to the Anosov-Katok method"
Romaric Kana Nguedia:
"Smoothing properties of the fractional Gauss-Weierstrass semi-group in Morrey smoothness spaces"
Ian Zimmermann:
"An introduction to criticality theory"
Christian Lejsek:
"On one Photon Scattering in non-relativistic Quantum Field Theory"
Elias Zimmermann:
"Pointwise ergodic theory beyond amenable groups"
(organized by Lino Haupt, Leif Jacob, Oleksiy Sukaylo and Julian Wendt)
M.Sc. Jakob Schuhmacher (Differential Geometry):
"Continuous Translation-Invariant Curvature Measures" abstract
M.Sc. Dennis Dänzer (Stochastics):
"A game-theoretic approach to a simple parking problem" abstract
M.Sc. Timon Weinmann (Analysis, Imperial College London):
"Lieb-Thirring Inequalities in Hyperbolic Space"
M.Sc. Manuel Quaschner (Differential Geometry):
"Non-collision singularities in n-body systems" abstract
M.Sc. Guillaume Neuttiens (Analysis):
"An introduction to Lie groups thermodynamics" abstract
M.Sc. Stefan Perko (Stochastics):
"Modified Equations for Stochastic Gradient Optimization" abstract
(organized by Oleksiy Sukaylo and Julian Wendt)
M.Sc. Sooppawat Thipyarat (Stochastics):
"Uniform approximation for a canonical stochastic differential equation" abstract
M.Sc. Zhen Liu (Analysis):
"New Generalizations of Besov-type spaces and Triebel-Lizorkin-type spaces" abstractpdf, 80 kb
B.Sc. Simon Murmann (Analysis):
"The BMS-Conjecture about L^p-positivity preserving manifolds" abstractpdf, 83 kb
M.Sc. Lukas Gehring (Numerics):
"A conically weighted Alexandrov estimate"
M.Sc. Leandro Meier (Algebra):
"Sym(N)-Noetherianity of Polynomial Algebras and Topological Spaces" abstractpdf, 37 kb
(organized by Oleksiy Sukaylo and Julian Wendt)
M.Sc. Julian Wendt (Stochastics):
"An introduction to stochastic games" abstract
M.Sc. Daan van Dijk (Analysis):
"An Overview of Interpolation Theory with Application to (S)PDEs" abstract
Dipl. Math. Evgenii Antonov (Differential Geometry):
"An overview of Nijenhuis geometry and applications to F-manifolds theory" abstract
M.Sc. Marian Ritsch (Stochastics):
"A stochastic energy balance model with moving ice line"
M.Sc. Simon Puchert (Analysis):
"A continued fraction related to the Gamma function" abstract
M.Sc. Jakob Henkel (Differential Geometry):
"Geometric inequalities and Steiner symmetrization" abstract
(organized by Oleksiy Sukaylo and Julian Wendt)
M.Sc. Ian Zimmermann (Analysis)
"Stochastic completeness and some (non-)linear characterizations" abstract
M.Sc. Sofia Brenner (Algebra)
"Ideals in the center of a group algebra" abstract
M.Sc. Verena Köpp (Stochastics)
"Synchronization and upper semicontinuity of random attractors" abstract
Dr. Benjamin Hinrichs (Mathematical Physics)
"Estimating the Decay of Eigenfunctions of Schrödinger Operators" abstract
(organized by Oleksiy Sukaylo and Julian Wendt)
M.Sc. Oleksiy Sukaylo (Analysis)
"Boundaries of hyperbolic graphs" abstract
M.Sc. Zhen Liu (Analysis)
"The Characterizations of Two Types of Function Spaces on Non-homogeneous Metric Measure Spaces" abstract
M.Sc. Jakob Schuhmacher (Differential Geometry)
"Curvature Measures" abstract
M.Sc. Simon Puchert (Analysis)
"On the moving sofa problem" abstract
M.Sc. Sooppawat Thipyarat (Stochastics)
"Homogenization of the skew Brownian motion" abstract
(organized by Oleksiy Sukaylo and Julian Wendt)
M.Sc. Julian Wendt (Stochastics)
"The Maximum Principle and Controlled Diffusion"
M.Sc. Stefan Perko (Stochastics)
"Optimal Control of Stochastic Modified Equations - An Introduction using SGD"
M.Sc. Benedikt Heiland (Stochastics)
"Risk-neutral pricing in rough volatility models"
M.Sc. Benjamin Böhm (Theoretical Computer Science)
"Connections between theoretical and algorithmic Proof Systems"
M.Sc. Jakob Henkel (Differential Geometry)
"SL(n)-equivariant Valuations on convex Bodies"
(organized by Benjamin Hinrichs, Daniel Sell, Oleksiy Sukaylo and Julian Wendt)
M.Sc. Stephanie Reinhardt (Algebra)
"Finite Fields (and AΓL)"
M.Sc. Ian Zimmermann (Analysis)
"Reaction vs. Diffusion: Blow-up of solutions of an abstract semilinear parabolic equation"
M.Sc. Daniel Dörfler (Optimization)
"A Benson-Type Algorithm for Bounded Convex Vector Optimization Problems with Vertex Selection"
Dr. Maike Klein (Stochastics, TU Wien)
"On the gain of collaboration"
M.Sc. Daniel Sell (Analysis)
"On subshifts with leading sequences"
M.Sc. Melchior Wirth (Analysis)
"Sobolev Inequalities, Heat Kernel Estimates, and Eigenvalue Asymptotics on Graphs"
Dr. Robert Hesse (Stochastics)
"Dynamics of SDEs driven by a Fractional Brownian Motion with Hurst parameter H > 1/2"
M.Sc. Bento Natura (Combinatorial Optimization, London School of Economics and Political Science)
"Solving Linear Programs Faster"
M.Sc. Jan Schumm (Differential Geometry)
"C-projective equivalence & quantum integrability of geodesic flows"
M.Sc. Sofia Brenner (Algebra)
"Blocks of finite groups and the Malle-Navarro conjecture"
Dr. Markus Dafinger (Differential Geometry)
"Existence of a Variational Principle for PDEs with Symmetries and Current Conservation"
M.Sc. Marc Hovemann (Theoretical Numerics)
"Besov-Morrey spaces and differences"
(organized by Benjamin Hinrichs and Daniel Sell)
M.Sc. Till Hauser (Dynamical Systems)
"Some comments on entropy and a generalization suitable for Delone dynamical systems"
M.Sc. Marian Ritsch (Stochastics)
"Analysis of a Lévy-driven Ornstein-Uhlenbeck process"
M.Sc. Julius Lang (Differential Geometry)
"Three problems on Finsler surfaces"
M.Sc. Benjamin Hinrichs (Mathematical Physics)
"Some Rigorous Results on the Nelson Model"
M.Sc. Oliver Siebert (Mathematical Physics)
"Positive commutators in the context of thermal ionization"
M.Sc. André Prater (Algebra)
"Centers of group algebras: Some bases; pros and cons"
M.Sc. Verena Köpp (Stochastics)
"Dynamics of random lattice equations"
M.Sc. Louis Soares (Dynamical Systems)
"On the distribution of resonances for hyperbolic surfaces"
M.Sc. Paul Wabnitz (Universität Bremen)
"Transfer operator approach to Selberg's zeta function"
Dipl.-Math. Christian Oertel (Dynamical Systems)
"Model Sets and Entropy"
Dr. Glenn Byrenheid (Analysis)
"Non-optimality of rank-1 lattice sampling"
(organized by Benjamin Hinrichs and Daniel Sell)
M.Sc. Daniel Sell (Analysis)
"About cocycles on simple Toeplitz subshifts"
M.Sc. Stefan Engelhardt (Stochastics)
"How to solve coupled FBSDEs with the method of decoupling fields"
B.Sc. Simon Puchert (Analysis)
"Resolvable graphs and harmonic functions"
M.Sc. Franziska Sieron (Analysis)
"On the existence of periodic points in subshifts of finite type"
M.Sc. Jan Kotrbatý (Differential Geometry)
"Octonions and the group Spin(9)"
M.Sc. Konstantin Vorushilov (Differential Geometry, Lomonosov Moscow State University)
"Jordan-Kronecker invariants of Lie algebras"
M.Sc. Vladislav Kibkalo (Differential Geometry, Lomonosov Moscow State University)
"Topology of foliated phase space for an integrable Hamiltonian system"
M.Sc. Robert Hesse (Stochastics)
"Solving Stochastic Evolution Equations (almost) without stochastics"
Dr. Maike Klein (Stochastics, TU Wien)
"Measure Optimization with Tchebycheff Systems"
B.Sc. Jakob Henkel (Differential Geometry)
"Long geodesics on Alexandrov spaces and convex hypersurfaces"
B.Sc. Sebastian Uschmann (Analysis)
"Cohomology of Dirichlet Forms"
M.Sc. David Krieg (Theoretical Numerics)
"Recovering functions from random data"
M.Sc. Flavia Remo (Dynamical Systems)
"Saddle-node bifurcations in hybrid-forced systems"
M.Sc. Florentin Münch (Max Planck Institute for Mathematics in the Sciences, Leipzig)
"Discrete Ricci curvature and Liouville property"
(organized by Benjamin Hinrichs, Maike Klein and Daniel Sell)
Vadim Platonov (Stochastics, Lomonosov Moscow State University)
"The optimality as a geometric characterization for Skorokhod embedding"
Vadim Platonov (Stochastics, Lomonosov Moscow State University)
"Skorokhod embedding for Geometric Brownian motion and one-jump martingales"
M.Sc. Melchior Wirth (Analysis)
"Covering the plane with triangles
M.Sc. Iaroslava Korenovska (Stochastics, National Academy of Science of Ukraine)
"Distribution of heavy points in coalescing Brownian systems"
M.Sc. Marc Hovemann (Theoretical numerics)
"Characterization of Triebel-Lizorkin Spaces by Differences"
M.Sc. Lena Hartmann (Stochastics)
"Stochastic Transport Equations"
M.Sc. Laura Gay (Stochastics, École Centrale de Lyon)
"Risk measures in a temperature model"
Dr. Holger Langenau (TU Chemnitz)
"Squaring the square - Counting all possible partitions of a square“
M.Sc. Jan Schumm (Differential geometry)
"Geodesics in the Papapetron-Majumdar metric: A Newtonian problem"
M.Sc. Markus Lange (Mathematical Physics)
"The hydrogen atom in dipole approximation"
M.Sc. Maximilian Wechsung (Stochastics)
"Rates of Convergence of M-Estimators and Bracketing Numbers"
The PhD Seminar was founded by Siegfried Beckus and Therese Mieth in March 2013. The first aim of the seminar was to bring together PhD Students working in the area of Analysis, Geometry and Numerics. Due to the positive feedback, the Seminar was opened 2014 for all PhD Students in the faculty. Since then the seminar runs regularly every semester. In the summer semester 2016, Maike Klein and Daniel Sell joined the organization of the Seminar. In the summer semester 2018, the seminar was organized by Benjamin Hinrichs, Maike Klein and Daniel Sell. In the winter semester 2018/19 and summer semester 2018, Benjamin Hinrichs and Daniel Sell organized the seminar. In the winter semester 2019/20, Oleksiy Sukaylo and Julian Wendt joined the organization, and in summer 2020 they took over the coordination of the PhD seminar.
In 2023 Lino Haupt joined the organization and later took over the coordination together with Guillaume Neuttiens.
Since 2025 Jamal Drewlo co-organizes the Seminar.