Thomas Krennwallner

Senior Software Engineer for Data-Intensive Applications

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

Skills Summary

C#

  • Object-Oriented and Functional Programming: Analysis, design, and development of scalable backend and embedded software in C/C++, C#, Erlang/OTP and Elixir, Java, Python
  • Relational Databases: Database design and programming for Oracle, MySQL, PostgreSQL, SQL Server
  • Nonrelational distributed storage and Message-Oriented Middleware: Development of distributed applications using DynamoDB and Kinesis, Celery tasks, Redis key-value store, RabbitMQ message broker
  • Data Engineering: Airflow, Elastic Map Reduce, Knowledge Graphs, PySpark
  • Knowledge representation and constraint modelling: Answer set programming (Clasp / Gringo / Potassco, DLV, DLVHEX), Ontology languages (RacerPro, Protege, Pellet), Constraint satisfaction and optimization (MiniZinc), SAT and QBF (MiniSat, picosat, depqbf), RDF and RDFS (Jena, Sesame), Linked Data, Prolog
  • High Performance Computing and Grid Computing: Job scheduling with HTCondor and DAGMan
  • Linux System and Cloud Administration: Amazon AWS, Azure, Ansible, Kubernetes, Terraform, Debian/Ubuntu
  • 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, English theatre, art-house cinema and film festivals, science fiction novels, accounting and running the family household with Ledger, Org mode, and Taskwarrior.