Benjamin Scheidt

I am a doctoral student under Prof. Dr. Nicole Schweikardt at Humboldt-Universität zu Berlin.

Currently, I examine the expressive power of hypergraph homomorphisms from a logical [1] and an algorithmical perspective.

You can reach me under my first name at this domain (mind my PGP key at the end of the page), my work email, or on LinkedIn.

Please send me pictures of your cat. 🐈

Portrait of Benjamin Scheidt

Publications

  1. Benjamin Scheidt and Nicole Schweikardt: Counting Homomorphisms from Hypergraphs of Bounded Generalised Hypertree Width: A Logical Characterisation. Published at MFCS 2023. August 2023. DOI: 10.4230/LIPIcs.MFCS.2023.79.

Education

Since 2022

Doctoral Candidate in Computer Science, Humboldt-Universität zu Berlin.
Work group Logic in Computer Science under Prof. Dr. Nicole Schweikardt.

2019 – 2022

M.Sc. in Computer Science, Humboldt-Universität zu Berlin.
Average of 1,0 · Thesis: First-Order Logic with Counting: Algorithmic and Structural Equivalences · Best Thesis Award.

2016 – 2019

B.Sc. in Computer Science, Humboldt-Universität zu Berlin.
Average of 1,4 · Thesis: Fractional Hypertree Decompositions of Width 2.

Teaching

I was a teaching assistant for the following courses:

Summer 2023
Logic and Complexity

Masters course on classical results from descriptive complexity. Covered topics include Traktenbrot's Theorem, Fagin's Theorem, zero-one laws and fixed-point logics.

Winter 2022/23
Discrete Structures

Introductory course for freshmen that teaches basics in discrete mathematics — i.e. basics on proofs, relational structures, graph theory, combinatorics, discrete stochastics…

Summer 2022
Logic for IMP

Introductory course on logic in computer science, tailored to a specific study program combining math, physics and computer science.

My PGP Public Key

Save as File 
				-----BEGIN PGP PUBLIC KEY BLOCK-----

				xjMEZIb+EhYJKwYBBAHaRw8BAQdA1ljTKbiIxBBR2xEi6+8jPyGX9uscW3rt
				in9ONK2oh7HNKWJlbmphbWluQHNjaGVpZHQuaW8gPGJlbmphbWluQHNjaGVp
				ZHQuaW8+wowEEBYKAD4FgmSG/hIECwkHCAmQLAXXulPC+IIDFQgKBBYAAgEC
				GQECmwMCHgEWIQR3ZFk3Seyr9kSoULosBde6U8L4ggAAra8A/A/bEHvvTa9p
				s+88Z6EaItwaDrSqA/QOOAJ++octWRWkAQDUeCzwAPCMg7GZvXgwaeb5qLUv
				YSZcjiTrzEkmyepMD844BGSG/hISCisGAQQBl1UBBQEBB0C8r7z4FMoYwiiP
				AJm7ErXZF7i9PgxPSlyYveD/HXV0PwMBCAfCeAQYFggAKgWCZIb+EgmQLAXX
				ulPC+IICmwwWIQR3ZFk3Seyr9kSoULosBde6U8L4ggAATdQA/3A/RX05cJSS
				Z+84qgUE9mNaZxJ+Pm+Tm3oe4iu7+KgBAQCbutsKKD2HuZTyhhmKWPFT21NQ
				m5Jy1/IarFRuEw2zBg==
				=Ja/3
				-----END PGP PUBLIC KEY BLOCK-----