Fernando Schapachnik
Fernando Schapachnik
About
 |
This is a brief summary. Will expand if time permits. 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. |
Dale Aceptar
Engaging youngsters in CS: "Dale Aceptar" project at Fundación Sadosky.
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 Computacisn, Facultad de Ciencias Exactas y Naturales, UBA, degree thesis available with the rest of the publications).
Teaching
- Possition: Assistant Professor at Departamento de Computacisn, Facultad de Ciencias Exactas y Naturales, UBA, Buenos Aires, Argentina.
- Courses: Algorithms and Data Structures II, Operating Systems and Analysis of Temporal Requirements (former)
Research interests
FormaLex: using Software Engineering methods and tools to find "bugs" in legal norms. Distributed Timed Model Checking, Formal Methods. Tools and Foundations for Software Engineering Lab at UBA.
Former Projects
Zeus: A Distributed Model Checker for Timed Automata. 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
