Thomas Krennwallner

PhD Computer Science

C#

  • Object-Oriented and Functional Programming: Analysis, design, and development of scalable backend and embedded software in C/C++, C#, Erlang/OTP, 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 Redis key-value store and RabbitMQ message broker
  • 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), Prolog
  • High Performance Computing and Grid Computing: Job scheduling with HTCondor and DAGMan
  • Linux System and Cloud Administration: Azure, Ansible, Debian/Ubuntu, KVM, Proxmox
  • Debian Science packages maintained by me

I use the , , and operating systems.