Hernán Czemerinski

Hernán Czemerinski

Phd. Student @ LaFHIS, DC, FCEyN, Universidad de Buenos Aires

About

Hernán Czemerinski

LaFHIS Research Group Computer Science Department University of Buenos Aires

For a PDF version of the CV, click here.

Education

  • Ph.D. in Computer Science, Apr 2014. LaFHIS Research Lab, Computer Science Department, University of Buenos Aires. Thesis: Behaviour Abstraction Based Adequacy Criteria for Protocol Conformance Testing. Thesis Advisors: Dr. Victor Braberman and Dr. Sebastián Uchitel.
  • MSc in Computer Science, Oct 2001. Computer Science Department, University of Buenos Aires. Thesis: "Bouchet Graphs: a Generalization of Circle Graphs." Thesis Advisor: Dr. Guillermo Durán.

Publications

  • H. Czemerinski, V. Braberman, S. Uchitel, "Behaviour Abstraction Coverage as Black-Box Adequacy Criteria", Proceedings of IEEE International Conference on Software Testing, Verification and Validation (ICST), 2013 (In Press).
  • H. Czemerinski, P. Jacovkis, "La llegada de la computación a la Universidad de Buenos Aires", Revista Iberoamericana de Ciencia, Tecnologìa y Sociedad. ISSN 1668-0030, Vol 6. Nro 18, 2011. PDF BIB.
  • H. Czemerinski, G. de Caso, "Historia de la Computación Hogareña en la Argentina", Simposio de Historia de la Informática en América Latina y el Caribe 2010. PDF BIB.
  • H. Czemerinski, G. Durán, A. Gravano, "Bouchet graphs: A Generalization of Circle Graphs", Congressus Numerantium, Vol. 155, pages 95-108, Dec 2002. PDF BIB.
  • H. Czemerinski "Grafos de Bouchet: Una Generalización de los Grafos Circulares", MSc Thesis, Oct 2001. PDF.

Teaching

  • Since 2012: Teaching assistant in charge of practical sessions. Subjects: Introduction to Computer Science and Logic and Computability. Computer Science Department, University of Buenos Aires.
  • 2009 - 2011: Graduate teaching assistant. Subjects: Theory of Formal Languages and Logic and Computability. Computer Science Department, University of Buenos Aires.
  • 2000 - 2001: Undergraduate teaching assistant. Subject: Theory of Formal Languages. Computer Science Department, University of Buenos Aires.

Awards and Honors

  • 2007-2008: Doctoral grant ANPCyT (National Agency for Science and Technology Promotion), Argentina.
  • 2002: Second prize in the IX CLEI-UNESCO MSc Thesis Contest, organized by the 28th Latinamerican Conference on Informatics (CLEI).

Selected Talks

  • "Behaviour Abstraction Coverage as Black-Box Adequacy Criteria", 6th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2013, Luxembourg, Luxembourg, Mar 2013.
  • "Black Box Testing Based on Behaviour Abstractions", University of Saarland, Saarbrücken, Germany, Mar 2013.
  • "Using Finite Behaviour Models for Software Testing", MEALS workshop on Software Engineering, Buenos Aires, Argentina, Jan 2013.
  • "Behaviour Abstraction Coverage as Testing Adequacy Criteria", First NII-UBA workshop on Formal Software Modelling and Analysis, Buenos Aires, Argentina, Nov 2012.
  • "Bouchet Graphs: A Generalization of Circle Graphs", the 28th Latinamerican Conference on Informatics, Montevideo, Uruguay, Nov 2002.
  • "Bouchet Graphs: A Generalization of Circle Graphs", the 33rd Southeastern International Conference on Combinatorics, Graph Theory and Computing, Boca Raton, FL, USA, Mar 2002.
Undefined