Information about Justin Pearson

Justin Pearson Uppsala University Department of information technology Box 337 SE-751 05 Uppsala Sweden Phone : +46 (0)18 4717292 Fax : +46 (0)18 511925 Email : justin.pearson@it.uu.se

General Information

I work at the the IT faculty. My research interests are in constraint satisfaction theory and I teach a wide variety of courses at Uppsala. I am a member of the ASTRA research group run by Pierre Flener. I also work on the Profun Project

Important Sub pages

• Papers and Research Material
• Google Scholar link to my papers.
• Teaching Notes This includes material for various courses I teach.

Less important sub pageges

• References on Separation logic
• Over the years I've been involved in a series of workshops (SymCon) which have been on various aspects of symmetry in Constraint Satisfaction.
• SymCon'01 Workshop This includes online all the papers that were included at the workshop.
• Interesting Links Interesting for me at least.
• Financial Mathematics/computational finance links
• Life and Death Problems This link does not always work.
• Papers that I haven't got around to reading.
• My Sudoku Subpage.