Joseph Scott – PhD Student

Address: Computing Science Division
Department of Information Technology
Uppsala University
Box 337
SE-751 05 Uppsala
Sweden
Visit: ITC building 1, floor 3, room 1341
Phone: +46 18 - 471 1062
Fax: +46 18 511925
Email: joseph.scott@it.uu.se
Web: Personal web page

vCard

My research lies at the intersection of constraint programming (CP) and software verification. Currently, I am investigating CP approaches for solving constraints over bounded-length strings.

I hold a joint position, funded by the Swedish Research Council (VR), with:

Office hours: by appointment