Bob(tm) is a Norwegian computer scientist and philosopher, alternating between living in Norway and in The Netherlands. Main background is design and implementation of networking protocols. Worked for Norsk Data R&D for 7 years before being hired by Scala Inc. as a developer in '93, turning to writing device drivers and other low level multimedia software. Since '98 studied philosophy and logic in Oslo and Amsterdam, occasionally writing software on the side for fun and/or to get food on the table. Currently trying to get funding for a PhD in formal methods for verification of anonymity protocols (unless someone is willing to support studies on the role of theorizing in the late Wittgenstein).