Fernando Schapachnik's Home Page


This is a brief summary. Will expand if time permits. La versión castellana también está pendiente.

Email: fernando AT schapachnik DoT com DoT ar,  but beware of my anti-spam filter. You will have to reply to his challenge to reach me. Sorry for the burden, but I receive too much spam.

Education:

• PhD in Computer Science (advisors: Dr. Braberman and Dr. Olivero; thesis "Timed Automata Model Checking in Monoprocessor and Multiprocessor Architectures").
• Master in Computer Sciences (Departamento de Computación, Facultad de Ciencias Exactas y Naturales, UBA, degree thesis available with the rest of the publications).

Teaching:

• Possition: Assistant Professor at Departamento de Computación, Facultad de Ciencias Exactas y Naturales, UBA, Buenos Aires, Argentina.
• Courses: Algorithms and Data Structures II, Operating Systems (summer course) and Analysis of Temporal Requirements (former)

Research interests:
    Distributed Timed Model Checking, Formal Methods
    Tools and Foundations for Software Engineering Lab at UBA
    Projects:
        Main:    Zeus, a Distributed Model Checker for Timed Automata
        Current: Distributed Model Checking, @home? -- See Dagstuhl Seminar presentation here.
        VInTiMe: Verifier of INtegrated TImed ModEls
        JScoper: An Eclipse plug-in for Supporting Research on Scoping and Instrumentation for RT Java Apps.

Publications:
    See here for most of them.


Coworkers:
    Carlos López Pombo
    Alfredo Olivero
    Víctor Braberman
    Diego Gabervetsky
    Sergio Yovine
    Nicolás Kicillof
    Sebastián Uchitel
    Fernando Asteasuain
    Esteban Pavese