Universidad Nacional de Córdoba »
Facultad de Matemática, Astronomía y Física »
Sección de Ciencias de la Computación »

Nicolás Wolovick Profesor Adjunto, Dedicación Exclusiva, interino Facultad de Matemática, Astronomía y Física Universidad Nacional de Córdoba Medina Allende y Haya de la Torre Ciudad Universitaria 5000, Córdoba Capital, Córdoba, Argentina Tel: +54 351 4334051/55 int.365 Fax: +54 351 4334054 Email: Oficina: 365

Docencia

• Organización del Computador: 13, 01, 00, 99.
• Sistemas Operativos: 12, 10, 09, 08, 07, 06, 05, 04, 03, 02.
• Computación Paralela: 12.
• Implementación de Sistemas Operativos (posgrado): 11.
• Redes y Sistemas Distribuidos: 11.
• Computación del Alto Rendimiento: Modelos, Métodos y Medios (sincronizado con CSC 7600, CCT, LSU): 10, 09.
• Programación Concurrente en Java (Especialización en Sistemas y Servicios Distribuídos): 10, 09, 08.
• Introducción a los Algoritmos: 08, 07, 06, 05, 04.
• Programación Concurrente: 05, 03, 01.
• Algoritmos II: 02.
• Bases de Datos: 00.

• Simposio Argentino de HPC en la 40JAIIO, co-chair junto a Gonzalo Hernandez, UTN-FRC, Córdoba, 31 de Agosto y 1 de Septiembre 2011. [CFP]
• SAC-SVT10 (Comité de Programa), Sierre, Switzerland, del 22 al 26 de Marzo de 2010.

• Damián Barsotti, Nicolás Wolovick, "Métodos para el Análisis de Programas Probabilistas y No-Deterministas Utilizando Probadores de Teoremas", PID 2008, MinCyT, Gobierno de la Provincia de Córdoba.
• Miembro del Grupo GPGPU Computing, FaMAF, UNC, financiado por NVIDIA Inc.
• Verificación de Programas Probabilísticos y Concurrentes.
  • Fuí becado por SeCyT - UNC, para finalizar mi doctorado.
  • Fuí financiado por Programa Alβan para trabajar en y .
• Construcción Formal de Programas Concurrentes.
• Validación y Verificación de Programas Concurrentes.

• Nicolás Wolovick, "Continuous Probability and Nondeterminism in Labeled Transition Systems", PhD Thesis, FaMAF, Universidad Nacional de Córdoba, 2012.
• Ezequiel E. Ferrero, Juan Pablo De Francesco, Nicolás Wolovick, Sergio A. Cannas, "q-state Potts model metastability study using optimized GPU-based Monte Carlo algorithms", arXiv:1101.0876, accepted in Computer Physics Communications.
• Pedro R. D'Argenio, Pedro Sánchez Terraf, Nicolás Wolovick, "Bisimulations for non-deterministic labelled Markov processes", MSCS, 2012.
• Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang, "Measurability and Safety Verification for Stochastic Hybrid Systems", aceptado en HSCC2011, Chicago, EEUU.
• Damián Barsotti, Nicolás Wolovick, "Automatic Probabilistic Program Verification through Random Variable Abstraction", QAPL10, Pafos, Chipre. arXiv:1006.5096
• Pedro R. D'Argenio, Nicolás Wolovick, Pedro Sánchez Terraf, Pablo Celayes, "Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization", QEST09 (best paper award), Budapest, Hungría. [pdf]
• Nicolás Wolovick, Pedro R. D'Argenio, Hongyang Qu, "Optimizing Probabilities of Real-Time Test Case Execution", ICST09, Denver, EEUU. [pdf]
• Nicolás Wolovick, Sven Johr, "A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes", FORMATS'06, Paris, Francia. [pdf]
• Miguel Vásquez, Nicolás Wolovick, Pedro R. D'Argenio, "Probabilistic Hoare-like Logics in Comparison", Reporte técnico, FaMAF, UNC, Septiembre 2004. [pdf]
• Javier Blanco, Nicolás Wolovick, "Strengthen, Widen, Get Semaphores", WAIT2003, 32 JAIIO, Buenos Aires, Argentina, Septiembre 2003. [pdf]
• Nicolás Wolovick, "Una Experiencia con Lava en el Taller de Organización del Computador", III Congreso Chileno de Educación Superior en Computación CCESC2001, Universidad de Magallanes, Punta Arenas, Chile, Noviembre 2001. [pdf]
• Nicolás Wolovick, "Derivación de Multiprogramas", Reporte Técnico, FaMAF, UNC, Febrero 2000. [pdf]
  Trabajo Final de la Licenciatura en Computación bajo la dirección de Javier Blanco.
• Matías Cuenca Acuña, Nicolás Wolovick, "Pegando las colas de planificación en el Sistema Operativo MINIX". bajo la dirección de Gabriel Wainer, Reporte Interno, Departamento de Computación, F.C.E.yN., U.B.A., Julio 1998. [pdf]

... según DBLP, Google Scholar, Google Scholar Profile.

• Español [pdf]
• English [pdf]

• Mis juguetes, la TK85 (1984) y la TK90X (1986). Para seguir jugando como entonces.
• Rescate de algunos programas de la época creados por CoMAD Soft.
  • Creador Musical II (1990) [tzx] [z80]. Música original: Sebastián Wolovick.
  • NanoUp 2.2 (1990), por Gastón Palacio [tzx]. A partir del programa NanoDrive, MicroHobby 65, Feb 1986.
• Prefacio de un viejo libro Linguagem de Máquina para o TK: 1, 2 (originales 1, 2; tapa).
• Bubblemon es un applet Gnome esencial para monitorear la carga en tiempo y espacio del sistema operativo.
• Una linda foto del grupo DSS (Dependable Systems and Software) de Universität des Saarlandes, Kerkrade, Holanda, Septiembre 2006.
  De izquierda a derecha: Holger Hermanns, Reza Pulungan, Lijun Zhang, Sven Johr.
• Un documental excelente: La Tierra sin su Gente, por Dimas Games, Sonia Peluc y María Soledad Segura.
• La Tesis de Doctorado de Olga Elena Fagalde (mi mamá): "Integración Docente Asistencial: una estrategia actual para la enseñanza en el pregrado de Clínica Pediátrica", Córdoba, Argentina, 1996. [pdf]