ObsSlice team members are...
 
Víctor Braberman - Associate Professor - vbraberdcubaar
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)