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#

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

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

Data Engineering

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

Knowledge representation and constraint modelling

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

DevOps

Amazon AWS Ansible Azure Debian Docker ECS HTCondor Kubernetes Terraform Ubuntu

Debian Science Maintainer

Debian Science packages

Work Experience

Validere Sr. Data Engineer (2020 – now)

Toronto, Ontario – Canada

Guestlogix Sr. Software Developer – Recommendation Engine (2019 – 2020)

Toronto, Ontario – Canada

XIMESQmetrix Sr. Software Engineer – Data Analytics (2015 – 2019)

Vienna – Austria

Vienna University of Technology University and Research Assistant (2008 – 2014)

Institute of Logic and Computation, Vienna – Austria

National University of Ireland, Galway Research Intern (2007 – 2008)

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

Ho.bit Information Technology Freelance Software Engineer (2004 – 2005)

Worcestershire – U.K.

Siemens Austria Software Engineering Intern (Summer 1999, 2002, 2003)

Vienna – Austria

E. Moritz Freelance Software Engineer (2000 – 2002)

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.