Lorenz@Leutgeb.xyz

ORCiD GitHub Mastodon Skype

Use this slider to show/hide information:

Terse Verbose

Filter by space-separated hashtags: 
#cert #code #competition #google #intern #natlang #nl #ops
#oss #school #science #security #startup #uni #work


2021-10-01/now
#uni #cs #cl
PhD Student
First-Order Proving
2018-08/P2M
#uni #cs #cl
Research Scientist/Engineer
Project work, jointly sponsored by TU Dresden and CSIRO, towards implementation and verification of a WebAssembly target for the CakeML compiler infrastructure. Supervised by Michael Norrish.
2017-10/2021-06
#uni #cs #cl
International Center For Computational Logic (TU Dresden, Germany),
The KRDB Research Centre for Knowledge and Data (Free University of Bozen-Bolzano, Italy)
Vienna Center for Logic and Algorithms (TU Wien, Vienna, Austria)
  • Elective Modules:
    Theoretical Computer Science and Logic
    • Description Logic (Baader)
    • Nonmonotonic Reasoning (Turhan)
    Principles of Inference
    • Human Reasoning and Computational Logic (Hölldobler)
    • Formal Concept Analysis (Rudolph)
    Ontologies and Databases Systems
    • Knowledge Representation and Ontologies (Calvanese)
    • Foundations of Databases (Nutt)
  • Student Representative in the Joint Comission (steering body of the program).
  • Classified as EQR 7, ISCED 7
2017-08/2021-06
#work
Software Engineer at Sclable Business Solutions GmbH
Vienna, Austria
remote
2017-03/2017-06
#uni #cs
Tutor in Theoretical Computer Science and Logics at TU Wien
2017-02/2017-03
#cs
Student at Lemmings
2014-03/2016-11
#work #code
Software Engineer at Catalysts GmbH
Vienna, Austria
Cluj, Romania
2011-09-21/2017-09-29
#uni
TU Wien (Vienna, Austria)
For my thesis I worked on the ASP solver Alpha and wrote about efficient unit propagation for lazy-grounding ASP systems.
In the summer semester 2017 I worked as a tutor in "Theoretical Computer Science and Logics".
Elective Modules:
  • Abstract Machines
  • Argumentation and Proof
  • Compilers
  • Declarative Problem Solving
  • Logic Programming and Constraints
Basic Modules:
  • Algebra and Discrete Mathematics
  • Analysis
  • Algorithms and Datastructures
  • Basics of Human-Computer Interaction
  • Contexts of System Development
  • Database Systems
  • Distributed Systems
  • Introduction to Visual Computing
  • Foundations of Intelligent Systems
  • Program Construction
  • Programming Paradigms
  • Operating Systems
  • Security
  • Software Engineering and Project Management
  • Statistics and Probability Theory
  • Technical Foundations of Informatics
  • Theoretical Computer Science and Logics
EQR 6, ISCED 5A
2008-09/2013-06
#school #code
High school with focus on Information Technology
HTL Ottakring (Vienna, Austria)
Specializing in Computer Networks and Electronics.

Subjects (with hours as product of school years and weekly hours):
Applied Mathematics14
Projects and Project Management13
German11
English11
Ethics10
Foundations of Electronical Engineering and Electronics9
Applied Programming8
Computer Lab8
Sports8
Computer Networks7
Global Communication Networks7
Local Communication Networks6
Network Management6
Network Security6
Media Technology6
Foundations of Computer Science5
Business and Law5
Geography and Economics4
Applied Physics4
Applied Chemistry and Ecology4
Business Administration4
Operating Systems and Computer Architecture4
Database Systems4
Network Programming4
Quality Management2
Communcation and Presentation2
Seminar in Networking Technology2

Profile of Skills and Competences:
  • knowledge of the theoretical and practical principles of computer studies concerning hardware and software
  • planning and executing projects, especially in the field of network technology and network planning
  • application of business knowledge in operational organisation and accounting with special regard for quality management and product management
  • substantial knowledge in the areas of communication technology, database systems and network programming
  • knowledge of process, product, and systems development in computer applications
  • application of subject relevant principles for the employment, planning and application of computer networks (data integrity, generating networks, graph theory, telecommunications, and interactivity in a standard foreign language)
  • application of media, methods and systems of data storage and retrieval, as well as the logic of internal processing in networks, data security
  • solving frequent problems of data storage with the aid of databases in networks taking into account data integrity, servicing and optimal use of storage space
  • employment of networks as an enlargement of the individual computer as well as the design of computer networks, methods of network security
  • use of existing software and of network operating systems and integration of software applications into existing public networks
  • application of management and troubleshooting concepts in existing networks
  • application of the principles of marketing, staff guidance, negotiating skills, contracting and financing
  • subject relevant written and oral communication in German and English
  • knowledge and employment of mobile communication and mobile devices
EQR 5, ISCED 4A
netcup