Torkel Franzén worked as a university lecturer at the department of
Computer Science and Electrical Engineering, at Luleå University of
Technology, Sweden.
He taught programming courses, mostly using Java and Prolog. He earned
his PhD in 2004. His thesis (in philosophy) was titled "Provability and
Truth". He also wrote books, such as "Gödel's Theorem. An Incomplete
Guide to Its Use and Abuse", which appeared in 2005.

Gödel's Theorem was indeed one of his major interests. He wrote many
Usenet posts on this and related subjects, but he did also write posts
on many other subjects.

Torkel's too early death is a great loss for his family, colleagues,
and Usenet friends.