Sebastian D. Melzer

Postdoctoral researcher
Department of Mathematics
University of Salerno
Email: greetings@skydivizer.com

About Me

I am a mathematician/logician originally from Germany and raised in the Netherlands. I studied Computing Science (BSc) and Logic (MSc) at the University of Amsterdam, and did my PhD in Mathematics at New Mexico State University. My research is centered on pointfree topology and duality theory, with a particular focus on Priestley duality as a way of understanding frames and related algebraic structures.

Alongside research, I care about structured and meaningful teaching, particularly about making abstract ideas feel meaningful. The ways in which my teachers presented and engaged with their material have had a great impact on my life. In my opinion, more important than proving a difficult result is being able to interpret it in a meaningful way. This is a skill that I unfortunately still seem to lack.

Outside academia, I enjoy video games, sports, and the occasional tv show. I have a particular weakness for chocolate-covered peanuts (choco pinda’s).

Biography

• 2025–2026: Postdoc at the Department of Mathematics at the University of Salerno
• 2021–2025: PhD and graduate assistant at the Department of Mathematical Sciences at New Mexico State University.
• 2018–2020: MSc Logic at the University of Amsterdam.
• 2015–2018: BSc Computing Science at the University of Amsterdam.
• Some time in the 20th century: Born in Tübingen, Germany.

Publications

Journal Papers

Submitted

1. Maximal d-spectra and locally compact Hausdorff spaces with Guram Bezhanishvili, Papiya Bhattacharjee, and M. Drew Moshier. 2026. (view preprint)
2. A choice-free approach to Wallman compactifications with Cerene Rathilal and Ranjitha Raviprakash. 2026. (view preprint)
3. Priestley perspective on pointfree topology with Guram Bezhanishvili. 2025. (view preprint)

Accepted

4. Local compactness does not always imply spatiality with Guram Bezhanishvili, Ranjitha Raviprakash, and Anna Laura Suarez. Questions Answers Gen. Topology, 2026. To appear. (view preprint)

Published

5. Maximal d-spectra via Priestley duality with Guram Bezhanishvili and Papiya Bhattacharjee. J. Algebra Appl., 2025. Online Ready. (view)
6. Algebraic frames in Priestley duality with Guram Bezhanishvili. Algebra Universalis, 86:6, 2025. (view)
7. Deriving dualities in pointfree topology from Priestley duality with Guram Bezhanishvili. Appl. Categ. Structures, 31:34, 2023. (view)
8. Hofmann-Mislove through the lenses of Priestley with Guram Bezhanishvili. Semigroup Forum, 105:825-833, 2022. (view)

Theses

• Pointfree topology and Priestley duality. New Mexico State University, 2025. PhD Thesis. (view)
• Canonical Formulas for the Lax Logic. University of Amsterdam, 2020. MSc Thesis. (view)
• Thread-oriented program algebra. University of Amsterdam, 2018. BSc Thesis. (view)

Talks

Tutorials

• Priestley duality and its applications to pointfree topology. MITAC, November 2024, Mexico City, 🇲🇽. (slides: part 1, part 2, part 3)

Conference Talks

• Generalizing the d-nucleus to stably continuous frames. TACL, July 2026, Krakow, 🇵🇱. (slides)
• Local compactness does not always imply spatiality. BLAST, May 2025, Boulder, Colorado, 🇺🇸. (slides)
• The maximal spectrum of d-elements is not always Hausdorff. TACL, July 2024, Barcelona, 🇪🇸. (slides)
• When is max(dL) Hausdorff? BLAST, April 2024, Denton, Texas, 🇺🇸. (slides)
• Priestley duality for d-frames. ITAC (El 56 Congreso de la Sociedad Matemática Mexicana), October 2023, San Luis Potosí, 🇲🇽 (online). (slides)
• Algebraic frames in Priestley duality. BLAST, May 2023, Charlotte, North Carolina, 🇺🇸. (slides)
• How to derive well-known dualities in point-free topology from Priestley duality. From Points to Neighborhoods and Beyond (AMS Special Session), September 2022, El Paso, Texas, 🇺🇸. (slides)
• Hofmann-Mislove through the lenses of Priestley. TACL, June 2022, Coimbra, 🇵🇹. (slides)
• Canonical formulas for IK4. BLAST, June 2021, Las Cruces, New Mexico, 🇺🇸 (online). (slides)

Seminar Talks

• Locally compact and sober, but not quite enough points. Seminar on Demain Theory and its Applications, December 2025, Tianyuan Mathematics Research Centre, Yunnan, 🇨🇳. (slides)
• Priestley duality and Pointfree topology. Logic Seminar, October 2025, University of Salerno, Fisciano, 🇮🇹. (slides)
• Priestley duality for frames. Frame Theory Seminar, December 2024, Chapman University, Orange, California, 🇺🇸. (slides)
• Topics in Pointfree Topology: Duality Theorems. Foundations Seminar, November 2022, New Mexico State Universty, Las Cruces, New Mexico, 🇺🇸.
• Canonical Formulas for the Lax Logic. TULIPS, March 2021, University of Utrecht, 🇳🇱 (online). (slides)

Defenses

• Pointfree topology and Priestley duality. PhD Mathematics, March 2025, Las Cruces, New Mexico, 🇺🇸. (slides)
• Lax and steads wins the race. MSc Logic, December 2020, Amsterdam, 🇳🇱 (online). (slides)
• Thread-Oriented Program algebra. BSc Computing Science, June 2018, Amsterdam, 🇳🇱. (slides)

Teaching

Lecturer

• Trigonometry and Pre-calculus, New Mexico State University, Spring 2025.
• College Algebra, New Mexico State University, (Fall & Spring 2024, Fall & Spring 2023, Fall 2022). (notes)

Teaching Assistant

• Introduction to Ordinary Differential Equations, New Mexico State University, Fall 2022.
• Introduction to Real Analysis, New Mexico State University, Spring 2022.
• Introduction to Higher Mathematics, New Mexico State University, Fall 2021.
• Image Processing and Computer Vision, University of Amsterdam, Spring 2018.
• Statistical Reasoning, University of Amsterdam, Spring 2018.
• Discrete Mathematics and Logic, University of Amsterdam, Fall 2017. (Substitute)
• Algorithms and Data Structures in Python, University of Amsterdam, Fall 2017.