zoom	Nico Kicillof Lead Program Manager Server & Cloud Interoperability Engineering Team Microsoft Corp. Redmond, WA, USA (2007 - Present) Assistant Professor / Deputy Chair Computer Science Department School of Science University of Buenos Aires Buenos Aires, Argentina (2001 - 2007)

Currently at

Research

Spec Explorer 2010: a Visual Studio Power Tool for modeling software behavior, analyzing that behavior by graphical visualization, model checking, and generating standalone test code from models.
VInTime: a tool suite for the verification of Real Time systems.
VTS: a tool for expressing real-time requirements in a visual and user-friendly, yet powerful, language, by means of negative and triggered scenarios.
SetPoint: an Aspect-Oriented tool based on semantic pointcuts, based on Microsoft's .NET framework.
TraceIt!: event trace generator for distributed real-time applications.
JACAL: a tool for designing and animating software architectures