|
ObsSlice team members are...
|
| |
|
Víctor
Braberman - Associate 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.
|
|
| |
 |
Diego Garbervetsky - Phd. Student - diegogdcubaar |
M.Sc in Computer Science and Lecturer 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.
He is
currently enrolled in the University of Buenos Aires Ph.D. Program.
As such, he has published in some international journals,
conferences and symposiums. He was a visitor researcher at VERIMAG
(France) and participed in several Argentinian and French projects.
| |
| |
 |
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) | |