lorenzleutgeb / cqf Goto Github PK

This is a variation of a CV, refined with links to code and other output.

Puzzling

Doctoral Researcher, "Automation of Logic" Research Group, Max Planck Institute for Informatics

Since 2021-09, ongoing. Affiliations:

• Max Planck Institute for Informatics (personal page)
• International Max Planck Research School on Trustworthy Computing
• Saarbrücken Graduate School of Computer Science

Papers

• doi:10.1007/978-3-031-43369-6_8
• doi:10.1007/978-3-031-10769-6_10
• ceur-ws.org/Vol-3201/paper2.pdf

European Master's Program in Computational Logic

Thesis

ATLAS: Automated Amortised Complexity Analysis of Self-Adjusting Data Structures supervised by Florian Zuleger, see also doi:10.1007/978-3-030-81688-9_5 and doi:10.1017/S0960129521000232.

Seminars

• Seminar: Axiom Pinpointing in EL+ [report, slides as PDFs]
• Seminar: Complex Predicates vs. Complex Objects: A Case Study on Answer Set Programming for Implementing Artificial Agents together with Filippo De Bortoli and Cosimo Persia

Courses

Bachelor's in Software and Information Engineering at TU Wien

These repositories contain work I did as a student at TU Wien.

If you are looking for more material, feel free to hit me up 😉

Seminars and Theses

• Bachelor's Thesis: "Three Watched Literals: Efficient Propagation for Lazy-Grounding Answer Set Programming Systems" [as PDF] supervised by Antonius Weinzierl, see also doi:10.1007/978-3-030-00801-7_9 and alpha-asp/Alpha
• Seminar: "Abduction and Logic Programming" [report, slides as PDFs]

Courses

Decisions behind naming repositories might appear obscure to you, as they aim to resemble parlance common among students at TU Wien.

Lemmings I/O (Winter 2017)

High School in Information Technology and Electronics at HTL Wien West

Stuff I made in high school.