|visits||member for||4 years, 4 months|
|seen||23 hours ago|
Computer scientist, working on theoretical questions that are motivated by practical problems. My thesis was on tractable classes of constraint satisfaction problems, and I have also worked on containment of conjunctive database queries, the macroscope model of communication complexity, lower bounds for streaming, and bounds on parallelism.
|bio||website||constraints.wordpress.com||visits||member for||4 years, 4 months|
|location||Edinburgh, UK||seen||23 hours ago|