Thomas Krennwallner

Senior Software Engineer for Data-Intensive Applications

PhD (AI), MSc (Computational Intelligence), BSc (Software & Information Engineering)

Thomas Krennwallner's vCard contact information as QR code
vCard QR Code

Skills Summary

C++ C# Debian Elixir Kubernetes PostgreSQL Python TF

Object-Oriented and Functional Programming

Analysis, design, and development of scalable backend and embedded software

C++ C#/.NET Django Erlang/OTP Elixir Flask GraphQL Java Phoenix Python Rust

Relational Databases, Nonrelational Distributed Storage, Message-Oriented Middleware

Database and Knowledge Graph design and development of distributed applications

Cassandra Celery DynamoDB Kafka Kinesis MySQL Neptune DB OpenSearch Oracle DB PostgreSQL RabbitMQ Redis SQL Server

Data Engineering

Airflow Elastic Map Reduce Flink Knowledge Graphs NiFi Pandas PySpark scikit-learn

DevOps

Amazon AWS Ansible Azure Debian Docker ECS Fedora HTCondor Kubernetes Terraform Ubuntu

Debian Science Maintainer

Debian Science packages

Knowledge representation and constraint modelling

Answer set programming Ontology languages Constraint satisfaction and optimization SAT QBF RDF(S) Linked Data Prolog

Work Experience

Aiven Sr. Site Reliability Engineer - Fully-managed Open Source Data Infrastructure (current)

Toronto, Ontario – Canada

Validere Sr. Data Engineer - Oil & Gas Quality Data Intelligence Platform

Toronto, Ontario – Canada

Guestlogix Sr. Software Developer – Recommendation Engine for Travel Commerce Platform

Toronto, Ontario – Canada

XIMESQmetrix Sr. Software Engineer – Shift Planning / Airport Passenger Flow Guidance

Vienna – Austria

Vienna University of Technology University and Research Assistant - Knowledge Representation

Institute of Logic and Computation, Vienna – Austria

National University of Ireland, Galway Research Intern - Knowledge Graph Databases

Insight Centre for Data Analytics (former DERI), Galway – Ireland

Ho.bit Information Technology Freelance Software Engineer - PKI Certificate Authority for Public Medical Insurance

Worcestershire – U.K.

Siemens Austria Software Engineering Intern - VoIP and ISDN PBX

Vienna – Austria

E. Moritz Freelance Software Engineer - Pachinko Slot Machine

Baden – Austria

Education

Vienna University of Technology

PhD (Dr. techn.) in Engineering Sciences — Computer Science with Artificial Intelligence specialization, Oct 2018

Modular Nonmonotonic Logic Programs, Doctoral dissertation, 293pp., 2018. Theory and computational complexity on modularity aspects for disjunctive nonmonotonic logic programs. Graduated with distinction, GPA 3.95

MSc (Dipl.-Ing.) in Computational Intelligence, Oct 2007

Integration of Conjunctive Queries over Description Logics into HEX-Programs, Master thesis, 114pp., 2007. Theory, query optimization techniques, and implementation of a C++-based hybrid reasoner for combining nonmonotonic logic programs with ontologies / Austrian Computer Society Advancement Award 2009. Graduated with distinction, GPA 3.92

BSc (Bakk. techn.) in Software & Information Engineering, Aug 2005

EANet Network Management, Bachelor thesis, 72pp., 2005. Design and implementation of a Java-based cryptographic license validation system with X.509 certificates. GPA 3.53

College of Engineering (Höhere Technische Lehranstalt) Mödling

Technical College in Electronics and Computer Engineering, Jun 2000

MP3zzer — A Hardware MPEG 1 Layer 3 Music Player (Final examination project). Design and implementation of an MP3 decoder card and a C-based Linux kernel module based on MAS3507D digital signal processor and PIC16F84A microcontroller.

Awards

  • Content Award Vienna 2012 Smart City Prize

  • Best Presentation Award at Int. Conf. Logic Programming DC 2011

  • IJCAI 2011 Best Papers from Sister Conferences Track

  • Best Paper Award at Int. Conf. on Logic Programming and Nonmonotonic Reasoning 2011

  • Austrian Computer Society Advancement Award 2009

Scientific Publications

  • Two edited books, 4 book chapters, and one W3C Member Submission

  • 11 journal and magazine articles in top-level journals (Artificial Intelligence, Journal of Artificial Intelligence Resesearch, Theory and Practice of Logic Programming, etc.)

  • over 35 conference and workshop papers (AAAI Conference on Artificial Intelligence (AAAI), Int’l Joint Conference on Artificial Intelligence (IJCAI), Int’l Conference Principles of Knowledge Representation and Reasoning (KR), Int’l Conference on Logic Programming (ICLP), etc.)

Publication list

Hobbies

Hiking, cycling, badminton, English theatre, art-house cinema and film festivals, science fiction novels, accounting and running the family household with Ledger, Org mode, and Taskwarrior.