Welcome to the professional world of Uwe Keller. This website collects the most relevant information about me and my professional life.



Check out my latest open-source project called evanescent. Evanescent now includes the first release of

written in an interesting, rather recent programming language called D.

Besides giving me the chance to get to know a really interesting novel programming language, the project itself embodies challanging algorithmic problems for the D language (and compilers) where performance matters a lot. Therefore, I see evanescent and D as a neat fit that may shed some more light on the question on how performant D is for computationally intensive problems with industrial relevance.

About me

A picture of mine

I am a computer scientist and graduated in computer science from University of Karlsruhe (TH), Germany.

During my studies I chose databases and information systems as well as logics and theoretical foundations as my fields of specialization in computer science and operations research as my minor. My master thesis (Diplomarbeit) was in the area of formal software verification: I designed and implemented a translation of UML/OCL-based software models into formulas of a dynamic logic for Java. The transformation has been a central component in a software verification system for Java extending a modern UML-based CASE tool.

Since 06/2009 I work as an IT consultant for Accenture Technology Solutions in Vienna. I have been involved in a number of IT projects mostly in the Aviation sector gaining deep insights into Aviation IT and processes, in particular in Revenue Management, Electronic Tickets, Pricing, and Fares. During that time I supported a major German network carrier, in various roles, such as Requirements Analysis and Specification, Software Design, Software Development, Test Design and Execution, Test Management, Migration Management, and Project Management Office.

From 01/2004 to 12/2008 I worked as a researcher at the Semantic Technology Institute (STI) Innsbruck, a distinct research department of the University of Innsbruck, Austria.

Our main focus of work has been in the area of semantic technologies and their application to the Web and Web Services.

I worked in a number of European and Austrian projects with different responsibiltities. Amongst other things, I was leading a workpackage in the European integrated project Large Knowledge Collider (LARKC) (04/2008 - 12/2008), have been a workpackage leader and technical responsible for STI in the Austrian projects Semantic Engineering Support Environment (SENSE) (01/2006 - 03/2008), worked as a researcher in the Austrian project Reasoning with Web Services (RW2) (04/2005 - 10/2007), which I lead for STI from 05/2007 - 10/2007.

All of these projects have been research projects with industrial partners.

I have been actively involved in the Web Service Modelling Ontology (WSMO) and Web Service Modelling Language (WSML) working groups that defined a framework and a formal representation language for the rigorous description of Web Services and all related components in semantically enriched service-oriented systems.

Our work is documented in a series of academic publications, in particular our book on the Web Service Modelling Language (WSML) available at Amazon.

We submitted our work as input for future standardization activities in Semantic Web Services to W3C.

Besides my research on the semantic description of Web Services and ontologies, I worked on automated deduction and knowledge representation, i.e. novel techniques for inferencing in Description Logics, i.e. knowledge representation formalisms which form a central pillar for the so-called Semantic Web (or more recently also called Web 3.0). More details on my research can be found on my publications page.

During my time at STI Innsbruck, I enjoyed supervising a range of students during bachelor or master projects and giving some lectures or tutorials. I was also happy to support various scientific events and journals as a program committee member, an co-organizer or reviewer.

Previous to my research position at STI Innsbruck I worked as a software developer in an academic as well as an industrial setting (for RapidSolution Software AG / equero Future Net Technologies AG, Karlsruhe, Germany) on various Java projects.

Main Research Interests are


Postal Address

Uwe Keller
Goethestrasse 10
A-6020 Innsbruck


+43 (0)660 3965420

Electronic Mail

firstname DOT lastname HERE-COMES-AN-AT gmail DOT com


My professional homepage at http://www.uwekeller.net
My personal blog
My Github projects


The people that saved me some effort ...

This website is based on a nice template by James Koster of Six Shooter Media. I found the template at the Open Source Web Design homepage. Nice idea guys!