Would you like to make this site your homepage? It's fast and easy...
Yes, Please make this my home page!
Dan Hirsch
Departamento de Computación
Facultad de Ciencias Exactas y Naturales
(FCEyN)
Universidad de Buenos Aires (UBA)
Argentina
Indice
Esta página esta duplicada en la Universidad de Buenos Aires
en http://www.dc.uba.ar/people/exclusivos/dhirsch/homepage.html
(pero sin los dragones)
Ir al
principio
Antecedentes
Docentes
Desde 1994 hasta la fecha me desempeño como docente en el Departamento
de Computación, FCEyN, UBA. Mi cargo actual es el de Jefe
de Trabajos Prácticos. Desde 1997 participo del dictado y organización
de la materia Ingeniería
de Software II . También participé en las materias de
Actualización de Bases de Conocimiento (I y II) e Inteligencia
Artificial.
Ir al
principio
Antecedentes
Científicos
Me recibí de Licenciado en Ciencias de la Computación
en el Departamento de Computación, FCEyN, UBA, en el año
1996. En la actualidad soy alumno de la Carrera de Doctorado en Ciencias
de la Computación del mismo departamento. Trabajo en temas de Ingeniería
de Software y Métodos Formales, específicamente en el área
de Arquitecturas de Software. Mis directores son los profesores Dr.
Daniel Yankelevich (Universidad de Buenos Aires) y Dr.
Ugo Montanari (Universitá di Pisa). Como parte de mi doctorado
he realizado estadías de varios meses en Italia (Pisa y LíAquila)
en donde trabajé con investigadores de otras universidades obteniendo
como resultado la publicación de varios artículos en conferencias
internacionales (ver detalle más abajo). También he asistido
a cursos, escuelas y conferencias nacionales e internacionales.
Participación en Proyectos de Investigación
Ir al principio
Intereses
Académicos
Mis intereses principales son en el área de Ingeniería
de Software y en especial la aplicación de métodos
formales y semiformales a este área. En estos momentos
mi trabajo es en el área de Arquitecturas de Software. Otros
temas de interés son la lógica modal y la concurrencia.
Ir al
principio
Publicaciones
Nota
de copyright
Publicaciones Internacionales por Invitación
-
Hirsch, Dan; Montanari,
Ugo, Consistent Transformations for Software Architecture Styles
of Distributed Systems.
Proceedings of the Workshop on (formal methods applied to) Distributed
Systems, Gheorghe Stefanescu, Ed., Iasi, Rumania, Septiembre 2-3. Electronic
Notes in Theoretical Computer Science, Vol. 28, pág. 23-40, 1999.
http://www.elsevier.nl/locate/entcs/volume28.html.
[wds99.zip]
Publicaciones Internacionales con Arbitraje
-
Hirsch, Dan; Montanari,
Ugo,Higher-Order Hyperedge Replacement Systems and their Transformations:
Specifying Software Architecture Reconfigurations.
Proceedings of the Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation
Systems (GRATRA 2000). Satellite Event of the European Joint Conference
on Theory and Practice of Software (ETAPS 2000), H. Ehrig, G. Taentzer,
Eds., Berlín, Alemania, Marzo 25-27. Technical Report of Computer
Science Department/TU Berlin, No. 2000-02, pág. 215-223, 2000. (full
paper) [gratra2000.zip]
-
Hirsch, Dan; Uchitel,
Sebastián; Yankelevich,
Daniel, Towards a Periodic Table of Connectors.
Proceedings of COORDINATION '99. Third Int. Conference on Coordination
Models and Languages. Amsterdam, Holanda, Abril, 26-28. Lecture Notes in
Computer Science, Vol. 1594, pág. 418, 1999. (poster) [coord99.zip]
(Ver también full paper)
-
Hirsch, Dan; Inverardi,
Paola; Montanari, Ugo,
Modeling Software Architectures and Styles with Graph Grammars and Constraint
Solving.
Proceedings of the First Working IFIP Conference on Software Architecture
(WICSA1), San Antonio, Texas, E.E.U.U., Febrero 22-24, pág. 127-142,
1999. (full paper) [wicsa1.zip]
-
Hirsch, Dan; Inverardi,
Paola; Montanari, Ugo,
Graph Grammars and Constraint Solving for Software Architecture Styles.
Proceedings of the Third International Software Architecture Workshop
(ISAW3), Orlando, E.E.U.U., Noviembre 1-2, pág. 69-72, 1998. (position
paper) [isaw3.zip]
-
Areces, Carlos; Felder
Miguel; Hirsch, Dan & Yankelevich,
Daniel, Modal Logic as a Design Notation.
Proceedings of the Ninth IEEE International Workshop on Software Specification
and Design (IWSSD-9), Japón, pág. 150-152, Abril 16-18, 1998.
(position paper) [iwssd9.zip] (Ver también
full
paper)
Proceedings of the 1st KIT125 Workshop. Como, Italia, pág. 93-
108, 1997. (Ver full paper)
Publicaciones Nacionales con Arbitraje
-
Hirsch, Dan; Uchitel,
Sebastián; Yankelevich,
Daniel, Towards a Periodic Table of Connectors.
Proceedings of SOST '99. Simposio en Tecnología de Software
(JAIIO 28), Buenos Aires, Septiembre 8-9, pág. 55-61, 1999. [sost99.zip]
-
Hirsch, Dan, Formal Methods for the Description and Verification of
Software Architectures.
PhD Forum. Proceedings of SOST '99. Simposio en Tecnología de
Software (JAIIO 28), Buenos Aires, Septiembre 8-9, pág. 31-34, 1999.
[phdsost99.zip]
-
Areces, Carlos; Hirsch, Dan,
From
Boxes to Worlds.
Anales de la Primera Conferencia Argentina de Ciencias de la Computación,
Bahía Blanca, Octubre 5-7, pág. 266-276, 1995.
Publicaciones sin Arbitraje (Reportes Técnicos):
Tesis de Licenciatura
Ir al principio
Participación
en Congresos o Acontecimientos Similares
-
European Joint Conference on Theory and Practice of Software (ETAPS 2000).
Berlín, Alemania, Marzo, 25- Abril 2, 2000. (presentación
de paper en GRATRA workshop)
-
Schloss Dagstuhl Seminar 99451, Wadern, Alemania, 7 a 12 de noviembre,
1999,
"Rigorous Analysis and Design for Software Intensive Systems"
Presentación de charla: "Reconfiguration of Software Architectures"
-
BRICS Summer School on Semantics. Arhus University, Dinamarca, 2 a 7 de
mayo 1999.
-
COORDINATION '99. Third Int. Conference on Coordination Models and Languages.
Amsterdam, Holanda - April, 26-28 1999. (presentación de poster)
-
First Working IFIP Conference on Software Architecture, San Antonio, Texas,
E.E.U.U., Febrero 22-24, 1999. (presentación de artículo)
-
Third International Software Architecture Workshop, Orlando, E.E.U.U.,
Noviembre 1-2, 1998.
-
Ninth IEEE International Workshop on Software Specification and Design
(IWSSD-9), Japón, Abril 16-18, 1998.
-
DIMACS Summer School on Applied Logic. Rutgers University, U.S.A., Agosto
a Septiembre de 1995.
-
Numerosos cursos y escuelas nacionales (ECI,
JAIIO,
etc).
Ir al principio
Links
Interesantes
Ir al principio
Links
de personas con quién trabajo o trabajé
Ir al principio
Links
de otros Amigos y Familia
Argentina
En el Resto del Mundo
Ir al principio
Como
Contactarme
Oficina 21
Departamento de Computación
Facultad de Ciencias Exactas y Naturales
Universidad de Buenos Aires
Pabellón I - Ciudad Universitaria
Buenos Aires (1428) Argentina
Oficina : +54-11-4576-3390/6 interno 719
Secretaría : +54-11-4576-3359
Fax: +54-11-4576-3359
| Ultima modificación: 14 de Mayo de 2000.
Creado: 18 de Enero de 2000.
Webmaster: Juan Ignacio Hirsch
|
 |
 |
Los créditos por las animaciones serán agregados
muy pronto (credits for the animations will be included very soon)
(Actualizado
14 de Mayo de 2000)
