This is a variation of a CV, refined with links to code and other output.
| Repository | Description | Year | Language |
|---|---|---|---|
| geb | Code that connects to Gödel, Escher, Bach | ? | Python |
| euler | Attempts at Project Euler | ? | Java |
| aoc | Attempts at Advent of Code | 2017 - 2022 | Haskell, ASP, Python |
| cqf | Conjunctive Query Fun | 2018 | PostgreSQL |
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
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 |
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.
| Repository | Content | Collaborators | Language |
|---|---|---|---|
| atlas | Implementation | Java | |
| atlas-thesis | Thesis | LaTeX | |
| atlas-paper | Papers on the topic | Georg Moser, David Obwaller, Florian Zuleger | LaTeX |
| atlas-examples | Example Code for Analysis and Experimentation | David Obwaller | custom |
| atlas-hs | Some Haskell code for embedding examples | Haskell |
- 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
| Repositories | Title | Semester | Collaborators | Language |
|---|---|---|---|---|
| cp | Constraint Programming | 2017W | MiniZinc | |
| ils, prisma, hakuna-matata | Integrated Logic Systems | 2018S | Filippo De Bortoli and Aneta Koleva | SMT, ASP, Python |
| fdb | Foundations of Databases | 2018S | Anastasia Pustozerova | LaTeX |
| al | Advanced Logic | 2018S | Cosimo Persia | SMV |
| ? | Knowledge Representation and Ontologies | 2018S | Johannes Altmanninger |
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 😉
- 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_9and alpha-asp/Alpha - Seminar: "Abduction and Logic Programming" [report, slides as PDFs]
| Repository | Title | Semester | Collaborators | Language |
|---|---|---|---|---|
| dps | Declarative Problem Solving | 2017S | ASP | |
| ewbs | Introduction to Knowledge Based Systems | 2016W | ASP | |
| iixd | Interface and Interaction Design | 2016W | Christoph Gwihs and Christoph Holter | HTML, JS |
| ds | Distributed Systems | 2016S | Christoph Gwihs and Nikolaus Lässig | Java |
| evc | Introduction to Visual Computing | 2016S | Matlab | |
| os | Operating Systems | 2015W | C | |
| fp | Functional Programming | 2015W | Haskell | |
| gothon | Abstract Machines | 2015S | Go | |
| ubvl | Compilers | 2013S | C | |
| oop | Object Oriented Programming | 2012W | Java | |
| 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.
| Hack | Description | Location |
|---|---|---|
| Winston Markov | A Twitter bot that constructs tweets based on 1984 | sektor5 |
| Market Apocalypse | Communication device for a time after the apocalpyse | Das Packhaus |
| Strong Signal | A riddling chatbot that lets you decipher messages from outer space | Impact Hub Vienna |
| Kurier | Customer feedback via Messenger | Kurier |
| Hangman | Hangman chatbot | Stockwerk |
High School in Information Technology and Electronics at HTL Wien West
Stuff I made in high school.
| Repository | Title | Year | Collaborators | Language |
|---|---|---|---|---|
| pcp-vns | Implementation of a Variable Neighborhood Search for the Partition Graph Coloring Problem | 2013 | Moritz Wanzenböck | C++, LaTeX |
| ecdh-aes-chat | A small chat program that uses a custom implementation of AES and ECDH key exchange | 2012? | C# | |
| absorption | Solution to a challenge on the absorption effect in floats | 2011? | Moritz Wanzenböck | C |