Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/lorenzleutgeb/lorenzleutgeb

A guide to my stuff on GitHub
https://github.com/lorenzleutgeb/lorenzleutgeb

meta studies tuwien

Last synced: 26 days ago
JSON representation

A guide to my stuff on GitHub

Awesome Lists containing this project

README 

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



## Puzzling



[![Codewars Badge](https://www.codewars.com/users/lorenz.leutgeb/badges/large)](https://www.codewars.com/users/lorenz.leutgeb/)



 | Repository                                      | Description                                             | Year | Language |

 | ----------------------------------------------- | ------------------------------------------------------- | ---- | -------- |

 | [geb](https://github.com/lorenzleutgeb/geb)     | Code that connects to [Gödel, Escher, Bach](https://en.wikipedia.org/wiki/G%C3%B6del%2C_Escher%2C_Bach) | ?    | Python |

 | [euler](https://github.com/lorenzleutgeb/euler) | Attempts at [Project Euler](https://projecteuler.net/)  | ?    | Java |

 | [aoc](https://github.com/lorenzleutgeb/aoc)     | Attempts at [Advent of Code](https://adventofcode.com/) | 2017 - 2022 | Haskell, ASP, Python |

 | [cqf](https://github.com/lorenzleutgeb/cqf)     | [Conjunctive Query](https://en.wikipedia.org/wiki/Conjunctive_Query) Fun | 2018 | PostgreSQL |



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



Since 2021-09, ongoing. Affiliations:



 - [Max Planck Institute for Informatics (personal page)](https://www.mpi-inf.mpg.de/departments/automation-of-logic/people/lorenz-leutgeb)

 - [International Max Planck Research School on Trustworthy Computing](https://imprs-trust.mpg.de/)

 - [Saarbrücken Graduate School of Computer Science](https://graduateschool-computerscience.de)



### Papers



 - [`doi:10.1007/978-3-031-43369-6_8`](https://doi.org/10.1007/978-3-031-43369-6_8)

 - [`doi:10.1007/978-3-031-10769-6_10`](https://doi.org/10.1007/978-3-031-10769-6_10)

 - [`ceur-ws.org/Vol-3201/paper2.pdf`](https://ceur-ws.org/Vol-3201/paper2.pdf)



## [European Master's Program in Computational Logic](https://www.emcl-study.eu/)



Locations



| Start   | End     | Institute/Organisation | Associated University | Location

| ------- | ------- | ---------------------------------------------------------------------------- | -------------------------------- | ------------ |

| 2017-09 | 2018-02 | International Center for Computational Logic (ICCL)                          | TU Dresden                       | 🇪🇺 🇩🇪 Dresden

| 2018-03 | 2018-07 | Research Centre for Knowledge and Data (KRDB)                                | Free University of Bozen-Bolzano | 🇪🇺 🇮🇹 Bolzano

| 2018-08 | 2018-09 | Data61, Commonwealth Scientific and Industrial Research Organization (CSIRO) | Australian National University   | 🇦🇺 Canberra

| 2018-10 | 2021-06 | Vienna for Logic and Algorithms (VCLA)                                       | TU Wien                          | 🇪🇺 🇦🇹 Vienna



### Thesis



*ATLAS: Automated Amortised Complexity Analysis of Self-Adjusting Data Structures* supervised by [Florian Zuleger](https://github.com/zulegerf), see also [`doi:10.1007/978-3-030-81688-9_5`](https://doi.org/10.1007/978-3-030-81688-9_5) and [`doi:10.1017/S0960129521000232`](https://doi.org/10.1017/S0960129521000232).



| Repository | Content | Collaborators | Language |

|------------|---------|---------------|----------|

| [atlas](https://github.com/lorenzleutgeb/atlas) | Implementation | | Java |

| [atlas-thesis](https://github.com/lorenzleutgeb/atlas-thesis) | Thesis | | LaTeX |

| [atlas-paper](https://github.com/lorenzleutgeb/atlas-paper) | Papers on the topic | Georg Moser, David Obwaller, Florian Zuleger | LaTeX |

| [atlas-examples](https://github.com/lorenzleutgeb/atlas-examples) | Example Code for Analysis and Experimentation | David Obwaller | custom |

| [atlas-hs](https://github.com/lorenzleutgeb/atlas-hs) | Some Haskell code for embedding examples | | Haskell |



### Seminars



 * Seminar: [Axiom Pinpointing in EL+](https://github.com/lorenzleutgeb/elp) [[report](https://lorenz.leutgeb.xyz/paper/elp.pdf), [slides](https://lorenz.leutgeb.xyz/paper/elp-beam.pdf) as PDFs]

 * Seminar: [Complex Predicates vs. Complex Objects: A Case Study on Answer Set Programming for Implementing Artificial Agents](https://github.com/lorenzleutgeb/ab) together with [Filippo De Bortoli](https://github.com/filippodebortoli) and [Cosimo Persia](https://github.com/cosimodpersia)



### Courses



| Repositories  | Title         | Semester | Collaborators | Language |

| ------------- | ------------- | -------- | ------------- |----------|

| [cp](https://github.com/lorenzleutgeb/cp) | Constraint Programming | 2017W | | MiniZinc |

| [ils](https://github.com/lorenzleutgeb/ils), [prisma](https://github.com/lorenzleutgeb/prisma), [hakuna-matata](https://github.com/lorenzleutgeb/hakuna-matata) | Integrated Logic Systems | 2018S | [Filippo De Bortoli](https://github.com/filippodebortoli) and Aneta Koleva | SMT, ASP, Python

| [fdb](https://github.com/lorenzleutgeb/fdb) | Foundations of Databases | 2018S | [Anastasia Pustozerova](https://github.com/apustozerova) | LaTeX

| [al](https://github.com/lorenzleutgeb/al) | Advanced Logic | 2018S | [Cosimo Persia](https://github.com/cosimodpersia) | SMV

| ? | Knowledge Representation and Ontologies | 2018S | [Johannes Altmanninger](https://github.com/krobelus)



## Bachelor's in Software and Information Engineering at [TU Wien](https://www.tuwien.ac.at/en/)



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 :wink:



### Seminars and Theses



 * Bachelor's Thesis: ["Three Watched Literals: Efficient Propagation for Lazy-Grounding Answer Set Programming Systems"](https://github.com/lorenzleutgeb/3wl) [[as PDF](https://lorenz.leutgeb.xyz/paper/3wl.pdf)] supervised by [Antonius Weinzierl](https://github.com/AntoniusW), see also [`doi:10.1007/978-3-030-00801-7_9`](https://doi.org/10.1007/978-3-030-00801-7_9) and [alpha-asp/Alpha](https://github.com/alpha-asp/Alpha/)

 * Seminar: ["Abduction and Logic Programming"](https://github.com/lorenzleutgeb/abd) [[report](https://lorenz.leutgeb.xyz/paper/abd.pdf), [slides](https://lorenz.leutgeb.xyz/paper/abd-beam.pdf) as PDFs]



### Courses



| Repository                                        | Title         | Semester | Collaborators | Language |

| ------------------------------------------------- | ------------- | -------- | ------------- |----------|

| [dps](https://github.com/lorenzleutgeb/dps)       | Declarative Problem Solving | 2017S | | ASP

| [ewbs](https://github.com/lorenzleutgeb/ewbs)     | Introduction to Knowledge Based Systems | 2016W | | ASP

| [iixd](https://github.com/lorenzleutgeb/iixd)     | Interface and Interaction Design | 2016W | Christoph Gwihs and [Christoph Holter](https://github.com/christoph-holter) | HTML, JS

| [ds](https://github.com/lorenzleutgeb/ds)         | Distributed Systems | 2016S | Christoph Gwihs and Nikolaus Lässig | Java

| [evc](https://github.com/lorenzleutgeb/evc)       | Introduction to Visual Computing | 2016S | | Matlab

| [os](https://github.com/lorenzleutgeb/os)         | Operating Systems | 2015W | | C

| [fp](https://github.com/lorenzleutgeb/fp)         | Functional Programming | 2015W | | Haskell

| [gothon](https://github.com/lorenzleutgeb/gothon) | Abstract Machines | 2015S | | Go

| [ubvl](https://github.com/lorenzleutgeb/ubvl)     | Compilers | 2013S | | C

| [oop](https://github.com/lorenzleutgeb/oop)       | Object Oriented Programming | 2012W | | Java

| [kmst](https://github.com/lorenzleutgeb/kmst)     | Algorithms and Data Structures 2 | 2012S | | Java



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)



| Hack    | Description   | Location |

| ------- | ------------- | -------- |

[Winston Markov](https://github.com/lorenzleutgeb/winston-markov) | A Twitter bot that constructs tweets based on 1984 | [sektor5](http://www.sektor5.at/)

[Market Apocalypse](https://github.com/lorenzleutgeb/market-apocalypse) | Communication device for a time after the apocalpyse | [Das Packhaus](http://www.daspackhaus.at/)

[Strong Signal](https://github.com/lorenzleutgeb/strongsignal) | A riddling chatbot that lets you decipher messages from outer space | [Impact Hub Vienna](https://vienna.impacthub.net/)

[Kurier](https://github.com/lorenzleutgeb/kurier) | Customer feedback via Messenger | [Kurier](https://kurier.at/)

[Hangman](https://github.com/lorenzleutgeb/hangman) | Hangman chatbot | [Stockwerk](https://www.stockwerk.co.at/)



## High School in Information Technology and Electronics at [HTL Wien West](https://www.htlwienwest.at/)



Stuff I made in high school.



| Repository    | Title         | Year | Collaborators | Language |

| ------------- | ------------- | ---- | ------------- | -------- |

| [pcp-vns](https://github.com/lorenzleutgeb/pcp-vns)  | Implementation of a Variable Neighborhood Search for the Partition Graph Coloring Problem | 2013 | [Moritz Wanzenböck](https://github.com/WanzenBug) | C++, LaTeX

| [ecdh-aes-chat](https://github.com/lorenzleutgeb/ecdh-aes-chat)  | A small chat program that uses a custom implementation of AES and ECDH key exchange | 2012? | | C#

| [absorption](https://github.com/lorenzleutgeb/absorption)  | Solution to a challenge on the absorption effect in floats | 2011? | [Moritz Wanzenböck](https://github.com/WanzenBug) | C