Interests

My current interests include:

1. Tractability of constraint satisfaction problems and problems defined by fragments of second-order logic.
2. Natural parameterisations of Ladner languages.
3. Efficient algorithms to find independent sets, for various classes of graphs.
4. Applications of constraint techniques in finance.

Biography

I am a member of the Constraints Research Group, working on a DPhil under the supervision of Peter Jeavons on transformations of representation in constraint satisfaction.  This area features interaction between techniques from graph theory, finite model theory, and descriptive complexity, applied to the theory of constraint satisfaction problems which do not have a fixed signature.

Selected Publications

View AllManage publications

• MACROSCOPES: MODELS FOR COLLECTIVE DECISION MAKING

  Subramanian Ramamoorthy‚ András Z. Salamon and Rahul Santhanam

  2012.

  Accepted to Collective Intelligence 2012

  Details about MACROSCOPES: MODELS FOR COLLECTIVE DECISION MAKING | BibTeX data for MACROSCOPES: MODELS FOR COLLECTIVE DECISION MAKING

• Classification of annotation semirings over query containment

  Egor V. Kostylev‚ Juan L. Reutter and András Z. Salamon

  2012.

  Accepted to PODS 2012

  Details about Classification of annotation semirings over query containment | BibTeX data for Classification of annotation semirings over query containment

• Performance loss between concept and keyboard

  András Z. Salamon and Vashti Galpin

  EC² 2010: Workshop on Exploiting Concurrency Efficiently and Correctly. July, 2010.

  Details about Performance loss between concept and keyboard | BibTeX data for Performance loss between concept and keyboard | Download (pdf) of Performance loss between concept and keyboard

Activities

• Constraint Satisfaction Problems