Thomas Krennwallner
Senior Software Engineer for Data-Intensive Applications
PhD (AI), MSc (Computational Intelligence), BSc (Software & Information Engineering)
Skills Summary
Object-Oriented and Functional Programming
Analysis, design, and development of scalable backend and embedded software
C++ C#/.NET Django Erlang/OTP Elixir FastAPI 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 Google Cloud HTCondor Kubernetes Terraform Ubuntu
Debian Science Maintainer
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
XIMES ∣ Qmetrix 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.)
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.