Bror Bjerner

Email: bjerner@cs.chalmers.se
Phone: work +46 31 772 1029, home +46 31 55 54 40
Room: 6117, ED-huset .

Research Interests

The design and use of Logical frameworks, time and space complexity of type theory or lazy functional languages.

Teacher of the course Imperativ programming which is the second course to students following the Computing Linguistic Program.
Teacher of the course Datastrukturer för datalingvister and Datastrukturer IT, which is now the same course.
Responsible for the administration of getting assistants to most of the courses.

( To Chalmers CS Dept. Welcome page.)