Tobias Gedell

I am a Ph.D. student at the Computing Science Department at Chalmers

How to reach me

• Email: gedell (@) cs.chalmers.se
• Phone: +46 31 772 1088
• Office: The "ED" building (Computer Science and Engineering), room 5121 (floor 5)
• Postal Adress, Fax, etc.

Publications

• Tobias Gedell
  Integrating Static Analysis into Theorem Proving
  Technical Report no. 2005-02
  Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University
  (Postscript, PDF)
• Tobias Gedell
  A Case Study on the Scalability of a Constraint Solving Algorithm: Polymorphic Usage Analysis with Subtyping
  Master's thesis
  Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University
  (Postscript)

Teaching

• 2005
  • Period 3: Responsible for Systemprogrammering i C, TDA200 - INN060
• 2004
  • Period 2: Assistent in Programming, part 2 (Java) - for GU, INN010
  • Period 3: Responsible for Systemprogrammering i C, TDA200 - INN060

The Fire lab report system

• The Fire page

Miscellaneous

• My Linux HOWTOS

Disclamer