I'm a Research Associate at the Computer Science Department of the Universidad de Buenos Aires, working in the Logic, Language and Computability Research Group (GLyC).

UPDATE: Since April 2012 I'm at FAU Erlangen-Nürnberg, Germany. My page there is more up to date.

Contact

Oficina 13, Departamento de Computación
Pabellón I – Ciudad Universitaria
(C1428EGA) C. A. de Buenos Aires – Argentina
Tel: +54 11 4576-3390/6 ext. 705
Fax: +54 11 4576-3359

e-mail: dgorin (blah blah) dc . uba . ar

Research

My research interests are mainly in Computational Logic, in particular in the area of modal logics (including hybrid logics and coalgebraic modal logics). I'm interested in theoretical aspects and also in applications, especially software verification and the construction of provably correct programs in general.

Publications

2012
  • G. de Caso, D. Garbervetsky and D. Gorín. Integrated Program Verification Tools in Education. Software: Practice & Experience, to appear. PDF
  • D. Gorín and L. Schröder. Extending ALCQ with bounded self-reference. In Advances in Modal Logic, vol. 9. College Publications. To appear. PDF
  • D. Gorín and L. Schröder. Narcissists are easy, stepmothers are hard. In FoSSaCS '12, LNCS 7213, pages 240–254. Springer. doi://10.1007/978-3-642-28729-9_16 PDF
2011
  • C. Areces and D. Gorín. Unsorted functional translations. In M4M '11, ENTCS 278, pages 3–16. Elsevier. doi://10.1016/j.entcs.2011.10.002 PDF
  • D. Gorín, S. Mera and F. Schapachnik. A Software Tool for Legal Drafting. In FLACOS '11, EPTCS 68, pages 71–86. Electronic Proceedings in Theoretical Computer Science. doi://10.4204/EPTCS.68.7 PDF
  • C. Areces, S. Figueira and D. Gorín. Using Logic in the Generation of Referring Expressions. In LACL '11, LNCS 6736, pages 17–32. Springer. doi://10.1007/978-3-642-22221-4_2 PDF
  • G. de Caso, D. Garbervetsky and D. Gorín. Pest: from the Lab to the Classroom. In TOPI '11, ICSE Workshop Proceedings, pages 5–8. ACM. doi://10.1145/1984708.1984711 PDF
  • S. Figueira, D. Gorín and R. Grimson. On the expressive power of IF-logic with classical negation. In WoLLIC '11, LNCS 6642, pages 135–145. Springer. doi://10.1007/978-3-642-20920-8_16 PDF
  • D. Garbervetsky, D. Gorín and A. Neisen. Enforcing Structural Invariants Using Dynamic Frames. In TACAS '11, LNCS 6605, pages 65–80. Springer. doi://10.1007/978-3-642-19835-9_8 PDF
  • C. Areces and D. Gorín. Resolution with Order and Selection for Hybrid Logics. Journal of Automated Reasoning, 46(1):1–42. doi://10.1007/s10817-010-9167-0 PDF
2010
  • D. Gorín, S. Mera and F. Schapachnik. Model Checking Legal Documents. In JURIX '10, Frontiers in Artificial Intelligence and Applications 223, pages 151–154. IOS Press. doi://10.3233/978-1-60750-682-9-151 PDF
  • S. Figueira and D. Gorín. On the size of shortest modal descriptions. In Advances in Modal Logic, vol. 8, pages 120–139. College Publications. PDF
  • C. Areces and D. Gorín. Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction). Journal of Applied Logic, 8(4):305–318. doi://10.1016/j.jal.2010.08.010 PDF
  • S. Figueira, D. Gorín and R. Grimson. On the formal semantics of IF-like logics. Journal of Computer and System Sciences, 76(5):333–346. doi://10.1016/j.jcss.2009.10.006 PDF
  • D. Gorín, S. Mera and F. Schapachnik. Verificación automática de documentos normativos: ¿ficción o realidad?. In Anales del Simposio Argentino de Informática y Derecho (SID 2010) de las 39as Jornadas Argentinas de Informática (39JAIIO). PDF
2009
  • D. Gorín. Automated reasoning techniques for hybrid logics. Phd. Thesis. PDF
  • C. Areces, D. Gorín, A. Lorenzo and M. P. Rodríguez. Testing Provers on a Grid – Framework Description . In DL '09, CEUR Workshop Proceedings. CEUR-WS.org. PDF
  • C. Areces, D. Gorín, D. Figueira and S. Mera. Tableaux and model checking for Memory logics. In TABLEAUX '09, LNCS 5607, pages 47–61. Springer. doi://10.1007/978-3-642-02716-1_5 PDF
  • G. de Caso, D. Garbervetsky and D. Gorín. Reducing the number of annotations in a verification-oriented imperative language. In APV '09. PDF
2008
2006
  • D. Gorín. Hybrid Layering. In ESSLLI StuS '06. PDF
2005
2004
  • C. Areces and D. Gorín. Resolución con orden y selección para la lógica H(@). In CLEI '04. PDF