Justin Pearson is a senior lecturer(Docent) at the department of IT at Uppsala University. His main focus of research is on constraint programming, its theory, its implementation through propagator design, and its applications. He has worked on applications of constraint programming in diverse areas from air-traffic control with Eurocontrol, to software testing with Ericsson. His research in software testing has included the use of using constraint programming to model a complex telecommunications protocol in order to derive test cases and analyse real protocol logs. His work on implementation and propagator design has included work on string variables and their associated global constraints. String variables and constraints are of particular interest in software verification.