Rodrigo Castaño

Rodrigo Castaño

rcastano (en) dc . uba . ar

 

 

Sobre mí

Rodrigo Castaño

Soy graduado de Ciencias de la Computación en la Facultad de Ciencias Exactas y Naturales de la Universidad de Buenos Aires. Actualmente estudiante de doctorado en la misma casa de estudios gracias a una beca del CONICET.

Tengo también experiencia programando en C++ gracias a que participé en varios proyectos de código libre utilizados para proyectos de investigación en bioinformática como voluntario de FuDePAN.

Fuera del ámbito académico disfruto de la música, en especial la música clásica, y toco el violín. Hace algún tiempo jugaba muy bien al tenis. Pese a que no mantengo el mismo nivel, todavía conservo la técnica. En la foto se puede apreciar mi faceta de pescador con mosca. Soy muy impaciente como pescador, y por lo tanto, no muy bueno, pero disfruto enormemente los paisajes de la Patagonia.

Para planificar partidos de tenis o colaboraciones científicas, pónganse en contacto.

Mi Curriculum Vitae actualizado al 30 de marzo de 2014. pdf.

Links

Otros lugares donde encontrarme:

Variados:

  • A raíz de la consulta del amigo de un amigo, escribí un breve instructivo de dónde y cómo buscar becas. Le puede servir a algún estudiante de grado pensando en hacer un doctorado o master o con ganas de participar en algún programa de intercambio.
  • Grupo En la Tecla : Un grupo dedicado a realizar cursos y talleres destinados a gente con bajos recursos económicos para acercarlos a herramientas de informática.

Videos de la Orquesta Estudiantil de Buenos Aires, con mi participación estelar entre los segundos violines:

Temas de investigación

Trabajé en diferentes formas de traducir el problema de satisfacibilidad proposicional (SAT) a un problema de lenguajes formales equivalente y las ventajes en términos de rendimiento de realizar cada traducción.

En general me interesan temas relacionados con lenguajes formales, lógicas y las relaciones entre los mismos.

Hace algún tiempo colaboré en un grupo de bioinformática, pero mi aporte fue principalmente como desarrollador en C++. Hay varios temas de bioinformática que me resultan sumamente interesantes.

Durante mi doctorado combino técnicas de análisis estático y modelos probabilísticos. 

También tuve la oportunidad de trabajar, durante una pasantía, en algunos temas de Machine Learning, más precisamente probabilistic graphical models. 

Publicaciones

Full papers

  • J.M. Castaño, R. Castaño, A finite state intersection approach to propositional satisfiability, Theoretical Computer Science (2012), pdf
  • "Variable and Clause Ordering in an FSA Approach to Propositional Satisfiability", J. M. Castaño, R. Castaño, 16th International Conference on Implementation and Application of Automata (CIAA­2011). pdf
  • "Propositional satisfiability (SAT) as a language problem", J. M. Castaño, R. Castaño, Workshop Aspectos Teóricos de Ciencias de la Computación, XVII Congreso Argentino de Ciencias de la Computación, 2011. pdf

Workshops

  • Rodrigo Castaño, Juan Pablo Galeotti, Diego Garbervetsky, Jonathan Tapicer, Edgardo Zoppi , "On Verifying Resource Contracts using Code Contracts" , Proceedings First Latin American Workshop on Formal Methods, page 1-15 - 2014 pdf

Posters

  • "Backbones Generator (Bbgen2)" H. Arregui, R. Castaño, L. Lauría, R. Garabato, E. Fernández, M. Villarreal, D. Gutson. 2do Congreso Argentino de Bioinformática, May 11­-13, 2011
  • "Generation of a complete repository of protein backbones", R. Castaño, L. Lauría, G. Biset, R. Garabato, D. Gutson, M. Villarreal. 1er Congreso Argentino de Bioinformática, May 12­-14, 2010
Español