Roland Bol

	Work
	Computing Science Department Information Technology Uppsala University P.O. Box 337 SE-751 05 Uppsala Sweden.
Home	Contact
Linrepevägen 34 SE-756 48 Uppsala Sweden +46-18-302750	Phone: +46 18 4717606 Mobile: +46 70 4250334 Fax: +46 18 511925 / 4716289 Email: rolandb@csd.uu.se Polacksbacken 1, Room: 1356.

Courses

2004/5

• Software Engineering, period 3-4.
  
• Logic programming, period 1.

2003/4

• Systems Engineering, summer 2004.
  
• Software Engineering, period 3-4.
• Logic programming, period 3.

RSI

• Repetitive Strain Injury
  
• En annan länk (på svenska).

More about Teaching

• Information for students considering study abroad in Italy or Spain.
• Checklist for Teachers.
• A Teachers' Guide to the IT Department.

Research Areas

• The verification of Railway Interlockings.
• Software Engineering.
• Logic Programming, in particular termination and negation.
• Process Algebra.

Private interests

• NEW: Pictures of my vacation in Cambodia and Thailand.
• Lennakatten, the museum railway from Uppsala to Faringe.
• Some  pictures of Kulturnatten and Lennakatten.
• Swedish rail/bus timetable.
• European railway timetable.
  
• Dutch tourist information.
• Nederlands-Zweedse vereniging in Uppland
  
• Vacation in Tunesia
• Photos from my trip through Asia.
• My newsletters (latest: South-America, in Dutch).