Fysikkbygningen øst (kart)
Sem Sælands vei 24
Are you interested in logics in computer science, then you probably know of classical logic programming and rule-based reasoning (Horn clauses like if-then programming constructs). Rule based reasoning is used in many areas having to do with artificial intelligence (or where the problem to solve is not that simple) like for building Expert Systems. The Drools engine is one of the predominant choices in industry (and it is also open-source) developed by the RedHat community.
You may be spending time in the Tellu company, which has Drools at the core of their products and are interested in applying it to ever more challenging problems.