|
Tool author are:
|
| |
|
Víctor
Braberman - Full Time Professor -
vbraber dc ubaar |
|
Ph.D. in Computer Science and full-time Associate Professor in CS.
Department of University of Buenos Aires (Argentina) working in the area of Software Engineering .
His is an active researcher in models, abstractions and verification of real-time and distributed systems.
He has published in several international journals, conferences and symposiums such
as: STTT, CAV, TACAS, RTSS, ICSE, FSE/ESEC, MTCS, TPTS, PDMC, IWSSD, ENTCS, etc.
He has participated in several European projects and visited several institutes: Politecnico di Milano (Italy),
VERIMAG (France), UNU/IIST (Macao). He has headed the development of tools for the analysis of real-time
systems. He has a varied industrial experience as an independent consultant on SE topics.
He was chair of ASSE 2003 (Argentine Symposium on Software Engineering), PC member of tutorial session
of ICSE 2004 as well as PC member of ICSE 2005 main conference.
|
|
| |
|
Alfredo Olivero - Associate Professor -
aoliverouadeeduar
|
|
Ph.D. in Computer Science Institut National Polytechnique de Grenoble, France, September 1994. Full-time Associate Professor in Information Technology Department of Universidad Argentina de la Empresa (Argentina) working in the area of Tools for Formal Verification. He is one of the authors of KRONOS: a tool developed with the aim to verify complex real-time systems. He has published in several international journals, conferences and symposiums such as: TCS, STTT, TACAS, RTSS, CAV, MTCS, TPTS, PDMC, ENTCS, FORTE, etc. He has participated in several European projects and he was visitor researcher at ENS Cachan and Inria Rhône Alpes (France). He has headed the development of tools for the analysis of real-time systems. He has a varied industrial experience as an independent consultant on SE topics. He was the general-chair of JAIIO 2003 (Argentine Conference on Computer Science and Operational Research)
|
|
| |
|
Diego Garbervetsky - Full Time Professor -
diegogdcubaar
|
|
Ph.D. in Computer Science and Full Time Professor in the CS. Department of University of Buenos Aires (Argentina).
His research field is Embedded Systems and formal verification. He has a strong professional
experience in the Smartcard platform, especially in telecommunication, payment systems and PKI projects. |
|
| |
|
Nicolás Kicillof - Associate Professor -
nicokdcubaar
|
|
Associate Professor at the CS Department (UBA), currently teaching Programming
Languages Paradigms. His research fields are Software Architectures and
Programming Languages. He has a vast professional experience leading consulting
and development teams, mainly on Microsoft platforms.
|
|
| |
|
Fernando Schapachnik - Associate Professor -
fernandoschapachnikcomar
|
|
Ph.D. in Computer Science and Professor in the CS. Department of University of Buenos Aires (Argentina). His research field is Real-Time Systems and formal verification. He has a strong professional experience in the SE, networking and Open-Source projects. |
|
| |
|
Alejandra Alfonso - M.Sc in Computer Science and Teaching asistant in the CS -
aalfonsodcubaar
|
|
| |
|
Andres Ferrari - M.Sc Student -
aferraridcubaar
|
|
Computer Science student in the CS. Department of University of Buenos Aires (Argentina).
He has a strong professional experience in Java development and computer graphics.
|
|
| |
|
Lucía I. Cavatorta - M.Sc Student and Teaching asistant -
lcavatdcubaar
|
|
Computer Science student and Teaching asistant in the CS. Department of University of Buenos Aires (Argentina).
She has a experience in Java development and computer graphics.
|
|
| |
|
Guido de Caso - Ph.D. in Computer Science -
gdecasodcubaar
|
|
Ph. D. in Computer Science of the CS. Department of University of Buenos Aires (Argentina).
He has a experience in Java development and computer graphics.
|
|
| |