José Fragoso Santos

José Fragoso Santos
	Contact information E-mail: Tel: +351 91 010 23 01 room 2N3.1, Tagus Park Address Instituto Superior Técnico, Tagus Park 2780-990 Porto Salvo, Portugal

Currently, I am working under the supervision of Prof. Ana Matos. I am interested in studying programming language techniques for handling flexible information flow policies in programs that can spread out over sites that are governed in a decentralized and dynamic manner.
My complete Curriculum Vitae can be checked here.

Interests

Language Base Security, Type Systems, Programming Languages and Semantics.
Constraint Programming, Boolean Satisfiability, Integer Programming.
Machine Learning, Online Learning Algorithms.

Publications

José Santos and Alexandre Bernardino. Sensor Calibration of a Humanoid Robot's Head. Submitted to Robotica 2010. [PDF]
José Santos. Sensorimotor Learning for a Humanoid Robot Head. Technical Report, 2009. Institute for Systems and Robotics. [PDF]
José Santos and Vasco Manquinho. Learning Techniques for Pseudo-Boolean Solving. 7th International Workshop on the Implementation of Logics, 2008. Doha, Qatar. [PDF]
José Santos. Learning Techniques for Pseudo-Boolean Solving and Optimization.Instituto Superior Técnico, 2008. Masters Thesis. [PDF]

Conferences and Events Attended

15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Doha, Qatar, November 2008.
7th International Workshop on the Implementation of Logics, Doha, Qatar, November 2008.

Education

September 2008: MSc in Information Systems and Computer Engineering, Instituto Superior Técnico, Portugal. Final Mark: 18/20.
Thesis: Learning Techniques for Pseudo-Boolean Solving and Optimization Advisor: Vasco Manquinho.
December 2006: BSc in Information Systems and Computer Engineering, Instituto Superior Técnico, Portugal. Final Mark: 16/20.

Extras...

To know more about what I was doing in robotics follow this link.