professional profile

41
Sonia R. Sachs May 16, 2009

Upload: soniasachs

Post on 15-Dec-2014

622 views

Category:

Technology


2 download

DESCRIPTION

Computing and Communications professinal profile. May 2009

TRANSCRIPT

Page 1: Professional Profile

Sonia R. Sachs

May 16, 2009

Page 2: Professional Profile

My Profile

� Computing and Communication Contributions

� Management of research and development of projects and programs

� Approach to leadership and management

� Contributions in:

� software engineering,

� embedded systems,

� simulation modeling,

� collaborative computing,

� formal methods,

� network architecture and protocols,

� metrics, data analytics, and performance management.

Page 3: Professional Profile

My Profile

� Computing and Communication Contributions

� Management of research and development of projects and programs

Page 4: Professional Profile

Computer and Communication Contributions:

Research Management

� Management of research projects, Principal Investigator, Lawrence

Berkeley National Laboratory (LBNL), 1995-2002:

� Created the vision for programs and projects, writing grant proposals to fund the work;

� Sold the vision to funding agencies and LBNL management;

� Planned the technical, human, and financial resources for the funded projects;

� Developed teams (hiring, training, managing/leading, evaluating);

� Undergraduate and graduate students

� Contracted developers

� Post-docs/visiting scholars

� Involved my team members in the architecture and design of project components;

� Engaging the team in a shared vision, deliverables, milestones for the projects;

� Evaluated roadblocks, risks, solved problems, developed alternative plans;

� Tracked schedules and budgets needed to ensure results on-time, within budget and with

client satisfaction;

� Coordinated work across multi-laboratories (PNNL, ORNL, LBNL);

Page 5: Professional Profile

Computer and Communication Contributions:

Research Management� Projects managed at LBNL: The DOE Electronic Notebooks project: Internet-

based tool to support remote collaborative work. 1996-2000 (started with $500K,

became a $2M/year program)

� Managed team graduate and undergraduate students, contractors, and visiting faculty.

� Created the vision for the project and managed the complete project life cycle.

� Coordinated the work across DOE multi-laboratories.

� Organized the “Electronic Notebooks Workshop,” IEEE Fifth Workshop on Enabling

Technologies: Infrastructure for Collaborative Enterprises, June 17-19, 1996, Stanford

University, CA.

� Prepared publications and presented the project to laboratory clients, to DOE project

managers and meetings, and demonstrated the final product at conferences where LBNL

had booths.

Page 6: Professional Profile

Computer and Communication Contributions:

Research Management

� Projects managed at LBNL:

� Parallel Genetic Algorithms for materials science

� Advised a master student on his thesis work

� Coordinated with materials science colleagues and post-docs

� Led analysis and publication of results

� Remote instrumentation for the DOE Collaboratory at LBNL

� Managed the CS side of the ALS remote instrumentation

� Coordinated with ALS physicists and other DOE Collaboratory members

� Collaboration in distributed computing between LBNL and

CAPES/CNPq, Brazil

� Invited talks

� Visiting scholars at LBNL

Page 7: Professional Profile

Computer and Communication Contributions:

Research Management

� Management of research projects at University of California, Berkeley (joint

appointment as a visiting scholar)

� Projects were established by faculty at EECS, funded by DARPA: Mixed Initiative Control

for Automata-teams - MICA (http://www.gigascale.org/mica), and Software Enabled

Control - SEC (http://sec.eecs.berkeley.edu/).

� Managed detailed planning (tasks, deliverables, milestones), tracking schedules, ensuring

on-time results.

� Led multi-disciplinary team of students, contracted resources, post-docs, visiting scholars,

and faculty in

� weekly meetings and reviews,

� monthly reporting,

� designing and implementing prototypes to be demonstrated at DARPA program reviews,

� Presentations and publications.

� Managed conflict among team members and coordinated with external organizations.

� Active communication with DARPA program managers, reporting progress to the funding

agency, including developing Statements of Work to reflect changes in research directions

or other negotiated contract changes.

Page 8: Professional Profile

Computer and Communication Contributions:

Research Management

� Management of research program at California PATH program:

� Management of the Advanced Vehicle Control and Safety Systems

(AVCSS) Program (~$9M), funded by Caltrans.

� Collaborated with clients (Caltrans officials) to create the program

solicitation,

� Managed the Request For Proposals (RFP) process, securing a pool of

reviewers and their commitment to participate in the process, coordinating

the review of proposals and the awards of the grants,

� Monitoring and reporting to the funding agency on the progress of funded

projects,

� Solicited, collected, reviewed, requested improvements or corrections, and

organized summaries of reports submitted by the PIs of the funded projects,

� Organized a yearly conference for the program, where PIs had the

opportunity to present and demonstrate their work to representatives of

Caltrans.

Page 9: Professional Profile

Computer and Communication Contributions:

Research Management

� Management of research projects at California PATH program:

� Simulation project, SmartBRT ($ from internal PATH funding)

� Led a multi-disciplinary team:

� software developers,

� traffic engineers ,

� post-docs and a

� psychologist.

� Conducted weekly meetings and reviews.

� Led delivery of design documents, demos, presentations, and publications.

� Created project planning, scheduling tasks, milestones, deliverables,

tracked results, coordinating with other PATH managers (resources shared

among projects): conflict resolution required very detailed knowledge of the

tasks to be performed and good negotiating skills.

� Collaborated with other PATH managers and post-docs in proposal writing

Page 10: Professional Profile

Computer and Communication Contributions:

Research Management

� Management of research projects at California PATH program:

� Simulation project, SmartBRT:

� Led design and development of significant improvements:

� visual interfaces to configure and run the simulator,

� simulation of driver behavior,

� connection between micro and macro level simulations models.

� Led the development of real-time data collection from experiments, for data

validation.

Page 11: Professional Profile

Computer and Communication Contributions:

Management of Product Development

� Co-founder of startup Agile Design, Inc. VP of technology: the opportunity

to fully utilize my entrepreneurial skills!

� Provided the initial vision for the company. Collaborated with CEO and CTO to refine

vision, revising it when new senior members of the team joined.

� Sold the vision to clients, resulting in contracts that funded the company projects (~$1M).

� Created a portfolio of embedded systems products.

� Built and managed the team of software developers (employees and contractors)

� Collaborated with CTO and team to reach consensus on architecture design of software

� Detailed planning (tasks, schedules, milestones, deliverables)

� Ensuring developed version control, integrating components and testing

� Design and code reviews; client demos and reviews (proactive customer satisfaction approach)

� Coordinating with the parallel development done at the University.

� Primary interface to clients:

� Understanding and analysis of requirements

� Presenting and negotiating technical aspects of the contracts (features, quality, priorities, etc.)

� Presenting results and managing customer satisfaction.

Page 12: Professional Profile

Computer and Communication Contributions:

Research and Product Management� Project lead at IBM Research for Business Metrics Data Collection and

Dashboard: Performance management and data analytics solutions to

Global Outsourcing business:� Created the vision for the project (researched metrics and KPIs state-of-the-art)

� Sold the vision to management, colleagues and clients

� Collected and analyzed requirements from clients, creating requirements and specification

documents

� Built and managed the team of developers (contractors)

� Collaborated with research colleagues to integrate system with other systems and tools

� Bi-weekly reviews and demos with team, removing roadblocks, managing software tree and

documentation

� Weekly or bi-monthly reviews and demos with clients (proactive client satisfaction approach)

� Testing, testing, testing: giving plenty of feedback on problems/improvements to the team

� Presenting results and demonstrations to clients, colleagues, other business managers and

research managers ( > 100 in one year)

� Delivered results on time, with great customer satisfaction (many letters from clients… ☺ )

Page 13: Professional Profile

Computer and Communication Contributions:

Research and Product Management

� Project lead at IBM Research for the Integration of 38 worldwide databases

on pricing of outsourcing deals with the pricing tool and the performance

dashboards:

� Created the vision for the project

� Sold the vision to management, colleagues and clients

� Collected and analyzed requirements from clients, creating requirements

and specification documents

� Built and managed the team of developers (contractors)

� Collaborated with research colleagues to integrate system with other

systems and tools

� Initial architecture and design of system.

� Documentation of requirements, specification and architectural design.

Page 14: Professional Profile

Computer and Communication Contributions:

Research Management

� Project lead at IBM Research for the simulation modeling of concentrated

industries for the study of technology shifts:

� Multi-disciplinary team: economics undergraduate student, senior PhD

economist from UC Berkeley, computer scientist

� Initial design simulator in collaboration with economics student

� Economics part of the project soon became more challenging than

anticipated: => reached out to a senior economist (consulting)

� Redesigned simulator with new team

� Weekly meetings to discuss implementation and results

� Obtained very interesting results, published in two venues.

Page 15: Professional Profile

My Profile

� Computing and Communication Contributions

� Approach to leadership and management

Page 16: Professional Profile

Computing and Communication Contributions:

Approach to Leadership and Management� Build a shared vision, create a collaborative environment where team

members trust the leader and colleagues, and are empowered and

motivated to deliver results.

� Ingredients:

� Contagious enthusiasm and optimism

� Persuasion: sell ideas to team members and stakeholders

� Involve team members early on in building a shared vision

� Empower team members by allowing them to take ownership of their

contributions, so that they are accountable to the rest of the team and receive

deserved recognition

� Cleary communicate goals and results to be achieved

� Continuous discussions of rationale, alternative solutions, revisiting results,

reaching consensus

Page 17: Professional Profile

Computing and Communication Contributions:

Approach to Leadership and Management

� Ingredients (more…)

� Negotiate when consensus is elusive

� Guide the team towards constructive conflict and its principles:

� Focus on facts

� Focus on common goals, shared vision

� Use humor

� Provide criticism devoid of ego

� Question rationale and decisions

� Openness to team’s ideas on vision, approaches, designs, schedules and

willingness to refine, reconsider, redesign, reschedule project elements

Page 18: Professional Profile

Computing and Communication Contributions:

Approach to Leadership and Management

� Ingredients (more…)

� Sensitivity to each person’s interest, capabilities to contribute, weaknesses

� Support, encouragement, mainly when things don’t go well

� Challenge, mainly when things do go well

� Inspire confidence that if a solution exists for a problem, then the team will be

able to find it

� Welcome some risk taking, as an opportunity for growth

� Handle failures with a positive attitude: it can makes us better, can help us

with a stronger come back.

Page 19: Professional Profile

Computing and Communication Contributions:

� Contributions in

� software engineering,

� embedded systems,

� simulation modeling,

� collaborative computing,

� formal methods,

� network architecture and protocols,

� metrics, data analytics, and performance management.

Page 20: Professional Profile

Computing and Communication contributions:

Software Engineering

� Thirty years of contributions to many of the knowledge areas identified by the

IEEE/ACM joint task force on software engineering, published in 2004:

http://sites.computer.org/ccse/SE2004Volume.pdf

� Requirements collection and analysis

� Formal specification and verification

� Architectural design

� Detailed design/algorithm design

� Implementation/construction

� Modeling and analysis

� Testing/debugging

� Project/product management

� Software engineering research and development was key to the design and

delivery of projects/products listed in this presentation.

Page 21: Professional Profile

Computing and Communication Contributions:

Embedded Systems Software

� Research and development of

heterogeneous, concurrent,

component-based framework for the

modeling, simulation, and design of

embedded systems:

� Preliminary design and implementation

of a distributed framework for Ptolemy

(http://www.ptolemy.eecs.berkeley.ed

u) using CORBA (Orbacus).

� Publications and presentations on the

Ptolemy framework.

Taming Heterogeneity-The Ptolemy Approach, IEEE Proceedings Special Issue on Embedded Systems, 20002

Designing Systems with Ptolemy II, book published by Agile Design, Inc., 2002

Page 22: Professional Profile

Computing and Communication Contributions:

Embedded Systems Software

� In cooperation with LBNL high-

energy physics department,

designed and built a simulation

modeling of a high-energy data

acquisition system using the Ptolemy

framework.

� Led publications of the work:

• “Reprogrammable Platforms for High-Speed Data Acquisition,” Jie Liu, Jozsef

Ludvig, James McCarthy, Stephen Neuendorffer, and Sonia R. Sachs, journal

version of the Asilomar paper, Journal Design Automation for Embedded

Systems, vol. 7, pp. 341-364, 2002.

• “Reprogrammable Platforms for High-Speed Data Acquisition,” Jie Liu, Jozsef

Ludvig, James McCarthy, Stephen Neuendorffer, and Sonia R. Sachs, Thirty-fifth

Asilomar Conference on Signals, Systems, and Computers, Nov 4-7, 2001,

Monterey, CA.

Page 23: Professional Profile

Computing and Communication contributions:

Simulation Modeling

� Summary:

� Simulation modeling of the IEEE 802.4 local area network

protocols: USC (John Silvester) and UFRGS, Brazil. Sponsored

by Burroughs Corp. and Pacific Telesis, CA.

� Modeling of new processor design and local area network

interconnections among processors (Burroughs P-series).

� Simulation modeling of a voice, video and data protocol for

local and metropolitan area networks: UC Berkeley (Varaiya

and Walrand).

� Simulation model of the High Performance Radio Local Area

Network (Hiperlan) protocol for wireless networks: Apple

Computers, Cupertino, CA.

Page 24: Professional Profile

Computing and Communication contributions:

Simulation Modeling

� Publications:� “Alternative Local Area Network Access Protocols,” S. R. Sachs. IEEE Communications

Magazine, March 1988, pp. 25-45. IEEE Communications Society Prize Paper Award

� “Modeling and Comparison of the IEEE Local Area Network Protocols,” S. R. Sachs.

Proceedings of the 4o Seminario Brasileiro de Telecomunicacoes, Sept 3-5 1986. Rio de

Janeiro, Brazil, pp. 166-179. (Speaker, presented in Portuguese)

� “A Token-Bus Performance Analysis and Comparison with other LAN Protocols,” S. R.

Sachs, K. Kan and J. A. Silvester. Proceedings of the IEEE Globecom 1985, Dec 2-5 1985.

New Orleans, Louisiana, pp. 1492-1498. (Speaker)

� “Analytical and Simulation Modeling of a Token-Bus Local Area Network,” S. R. Sachs,

M.S. Thesis, UFRGS, Porto Alegre, Brazil. September 1986.

� “Analysis of Delay-Throughput of a Token-Bus Protocol and Comparison with other LAN

Protocols,” S. R. Sachs, K. Kan and J. A. Silvester. Proceedings of the IEEE 10th Local

Computer Networks Conference, October 7-9 1985. Minneapolis, Minnesota, pp.46-51

(Speaker).

Page 25: Professional Profile

Computing and Communication contributions:

Simulation Modeling

� Parallel genetic algorithm design and implementation (Globus, MPI) for a materials science surface identification problem that ran on LBNL super computer.� “Genetic Algorithms and Parallel

Computing for Global Optimization, Applied to Complex Surface Structure Determination by Low-Energy Electron Diffraction,” M.A. Van Hove, R. Döll, S.R. Sachs, and G. Stone, American Physical Society, Computational Physics Meeting, August 25-28, 1997

� “Genetic algorithms and Parallel Computing for the Global Search in Complex Surface Structure Determination by LEED,” M.A. Van hove, S.R. Sachs, and G. Stone. The 44th National Symposium of the American Vacuum Society, San Jose, CA, October 1997.

http://flux.aps.org/meetings/YR97/BAPSPC97/abs/S2900.html#SQ1.005

Page 26: Professional Profile

Computing and Communication contributions:

Simulation Modeling

� Simulation of protocols for the distributed control of automated vehicles and integration into a model of the IVHS system: UC Berkeley (Varaiya)� “Implementing Car Platoon

Maneuvers, rev. 3.1,”A. Hsu, S.R. Sachs, F. Eskafi, and P. Varaiya. Technical Report, PATH Research Report, UCB-Institute of Transportation Studies, UCB-ITS-PRR-91-6, February 1991. University of California, Berkeley, CA 94720.

Simulation Animation:

http://www.path.berkeley.edu/PATH/Publications/Videos/movie17.html

Page 27: Professional Profile

Computing and Communication contributions:

Simulation Modeling

� Simulation of control algorithms for networks of unmanned aerial vehicles(AUVs). CORBA clients integrated with a larger, DARPA-funded, simulation model: UC Berkeley (Varaiya, Sastry).

� Heuristics Methods for Delay Constrained Least Cost Routing, Zhanfeng Jia and Pravin Varaiya. http://paleale.eecs.berkeley.edu/~varaiya/papers_ps.dir/kdclc-ieeev4.pdf

� Task planning and execution for UAV teams”, J. Borges de Sousa, T. Simsek e P. Varaiya, Proceedings of the Decision and Control Conference, Bahamas, 2004

Blue force of UAV against Red's ground force of SAM sites and radars

Page 28: Professional Profile

Computing and Communication contributions:

Simulation Modeling

� Led design and implementation

of transportation network

simulation models:, UC California

PATH, Richmond, CA (http://www.path.berkeley.edu/)

� SmartBRT: A Set of Planning, Analysis

and Evaluation Tools for Bus Rapid

Transit: Final Report Year 1 of 2. UCB-

ITS-PRR-2003-7 (http://www.path.berkeley.edu/PATH/Publications/

PDF/PRR/2003/PRR-2003-07.pdf)

� Various presentations at conferences

Simulation Visualization of the Metro Rapid Transit System on the Wilshire-Whittier Corridor

Page 29: Professional Profile

Computing and Communication contributions:

Simulation Modeling

� Led design, implementation and

analysis of multi-agent systems

model of a concentrated industry

undergoing disruptive technological

change: IBM Research, San Jose, CA.

� Heterogeneous firm agents

� Heterogeneous consumer agents

� One intermediating agent (the

auctioneer)

� Led publications:

Simulation engine: MASON

GUI: MASON GUI client + JFreeChart

Agents: Java 5.0 + JAMA

� “Multi-Agent Model of Technological Shifts”, S. R. Sachs, J. McCarthy, and T. Sabbadini, Proceedings of the Eighth International Workshop on Multi-Agent-Based Simulation, May 15, 2007.

� “Multi-Agent Based Simulation VIII,” Lecture Notes in Artificial Intelligence, Luis Antunes, Mario Paolucci, and Emma Norling, Eds 2008, LNAI 5003, pp. 112-127.

Page 30: Professional Profile

Computing and

Communication contributions:

Collaborative Computing� Led research and development of the DOE

Electronic Notebook, LBNL, Berkeley, CA.� Real-time interface with instruments at the LBNL

Advanced Light Source, collaborative experiment

configuration and control

� Widely distributed system, multi-user system

� Support for multicast communications, real-time

voice/data conferences and whiteboard

� Synchronous and asynchronous collaboration

� Automatic recording of data acquisition

� Retrieval, visualization, and communication of

information developed during a collaborative

experiment

� Capture and documentation of group understanding,

results, and conclusions.

Page 31: Professional Profile

Computing and

Communication

contributions:

Collaborative Computing

� Extended the electronic notebook

research and development work to

three DOE labs: LBNL, LLNL, and

ORNL, leading the new DOE 2000

Electronic Notebook Project:

http://www.csm.ornl.gov/enote/stat

us00.html

Page 32: Professional Profile

Computing and Communication contributions:

Collaborative Computing

� Publications:

� “Working Group Report on Electronic Notebooks,” S. R. Sachs and J. Myers,

Proceedings of the Fifth Workshop on Enabling Technologies: Infrastructure

for Collaborative Enterprises (WETICE’96), June 1996, Stanford, and pp. 53-

58. (Speaker):

http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=555055

� “The Spectro Microscopy Electronic Notebook,” Sachs, S.R., Freitas,

C.M.D.S., Markowitz, V., Talis, A., Chen, I.A., Szeto, E., Kuno, H.A., Technical

Report, LBNL-39886, January 1997.

� “DOE2000 Electronic Notebook Proposal,” A. Geist, V. Markowitz, J. Myers,

and S. R. Sachs. A multi-laboratory proposal submitted to DOE, November

1996. Proposal funded by DOE from 1997 to 2000.

� “Electronic Notebooks,” a collection of LBNL Internal reports on the subject

of Electronic Notebooks. See, for example,

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.56.5627&rep=re

p1&type=pdf

� Publications:

� “Working Group Report on Electronic Notebooks,” S. R. Sachs and J. Myers,

Proceedings of the Fifth Workshop on Enabling Technologies: Infrastructure

for Collaborative Enterprises (WETICE’96), June 1996, Stanford, and pp. 53-

58. (Speaker):

http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=555055

� “The Spectro Microscopy Electronic Notebook,” Sachs, S.R., Freitas,

C.M.D.S., Markowitz, V., Talis, A., Chen, I.A., Szeto, E., Kuno, H.A., Technical

Report, LBNL-39886, January 1997.

� “DOE2000 Electronic Notebook Proposal,” A. Geist, V. Markowitz, J. Myers,

and S. R. Sachs. A multi-laboratory proposal submitted to DOE, November

1996. Proposal funded by DOE from 1997 to 2000.

� “Electronic Notebooks,” a collection of LBNL Internal reports on the subject

of Electronic Notebooks. See, for example,

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.56.5627&rep=re

p1&type=pdf

Page 33: Professional Profile

Computing and Communications Contributions:

Network architectures and protocols

� Delay-throughput analysis of local area network protocols

(CSMA/CD, Token Ring, Token Bus): Burroughs Labs, Pasadena

and Pacific Telesis, San Francisco, CA.

Page 34: Professional Profile

Computing and Communications Contributions:

Network architectures and protocols

� Analysis of ISO/OSI network and transport layer protocols as

well as the ARPANET TCP/IP protocols. Pacific Telesis, San

Ramon.

� Network performance measurements and analysis (Energy

Sciences Network, Esnet and Asynchronous Transfer Mode,

ATM protocol): LBNL, Berkeley, CA.

� Development of protocols for the data link layer of the

Burroughs Network Architecture (HDLC, X.25, LAPB, X.3, X.28,

and X.29): Burroughs Lab, Pasadena.

� Development of a device driver for the system’s local area

network (ARCNET): MDS Qantel, Hayward.

Page 35: Professional Profile

Computing and Communication Contributions:

Network architectures and protocols

� Porting of UNIX 4.2 BSD networking features to a proprietary

operating system: MDS Qantel, Hayward.

� Design of proprietary transport, network, and logical link

control protocols based on the ISO/OSI model: MDS Qantel,

Hayward, CA.

� Development of strategic plans for the telecommunications

network (X.25, ISDN, SS7, wireless networks): Pacific Telesis,

San Francisco and San Ramon, CA.

� Strategic plans from 1984-1988, internally published.

Page 36: Professional Profile

Computing and Communication Contributions:

Network architectures and protocols

� Design, implementation, and analysis of a real-time network

simulator/emulator facility, including a voice and data

protocol simulator for local and metropolitan area networks:

UC Berkeley (Varaiya, Walrand).

� “The Programmable Network Prototype System,” R. Cieslak, A. Fawaz, S. R.

Sachs, P. Varaiya and J. Walrand. INFOCOM 1989, San Francisco, pp. 393-399.

� “The Programmable Network Prototype System,” R. Cieslak, A. Fawaz, S. R.

Sachs, P. Varaiya and J. Walrand. IEEE Computer Magazine, May 1989, pp. 67-

76.

� Network performance studies for varying network parameters

such as packet distribution and length, level of switched

diversity, and queue length for wireless networks using

Hiperlan: Apple Computers, Cupertino, CA.

Page 37: Professional Profile

Computing and Communication Contributions:

Network architectures and protocols

� Protocol design for networks of automated vehicles: UC

Berkeley (Varaiya).

� “Protocol Design for an Automated Highway System,” A. Hsu, F.

Eskafi, S. R. Sachs, and P. Varaiya. Discrete Event Dynamic Systems:

Theory and Applications 2, pp. 183-206, 1993 Kluwer Academic

Publishers, Boston.

� “The Design of Platoon Maneuvers for IVHS,” Ann Hsu, S. R. Sachs,

Farokh Eskafi and Pravin Varaiya. Proceedings of the American

Control Conference, June 26-28 1991. Boston, Massachusetts.

Page 38: Professional Profile

Computing and Communication Contributions:

Formal Methods

� Formal specification and verification of protocols for

� Control systems (IVHS): timed and untimed

� “Formal Specification and Verification of the Entry and Exit Maneuvers,” S.

R. Sachs and P. Varaiya, California PATH Research Report UCB-ITS-PRR-96-

3.

� Distributed algorithms

� “Formal Verification of a Fault-Tolerant Distributed Algorithm,” R. P.

Kurshan, M. Merritt, A. Orda, and S. R. Sachs”, Proceedings of SBT/IEEE

International Telecommunications Symposium, Rio de Janeiro, Brasil,

August 1994. (Speaker)

� “Formal Verification of a Distributed Computer System,” R. P. Kurshan, M.

Merritt, A. Orda, and S. R. Sachs. Formal Methods in System Design

Journal, vol. 10, pp. 93-125, 1997. Kluwer Academic Publishers.

Page 39: Professional Profile

Computing and Communication Contributions:

Formal Methods� Structural linearization principle for processes: verification of an

arbitrary number of system components

� “A Structural Linearization Principle for Processes,” R. P. Kurshan, M. Merritt, A. Orda,

and S. R. Sachs”, Formal Methods in System Design Journal, vol. 5, pp. 227-244, 1994.

Kluwer Academic Publishers (expanded version of the paper presented at CAV’93).

� “A Structural Linearization Principle for Processes,” R. P. Kurshan, M. Merritt, A. Orda,

and S. R. Sachs”, Conference on Computer - Aided Verification (CAV’93), Elounda,

Crete, Greece, June 28 - July 1, 1993 (LNCS697). (Speaker)

� Modeling synchrony with an asynchronous model

� “Modeling Asynchrony with a Synchronous Model,” R.P. Kurshan, M. Merritt, A. Orda,

and S. R. Sachs, Proceedings of Computer-Aided Verification Conference CAV’95, Liege,

Belgium, June 1995, LNCS 939 pp. 339-352.

� Theory for hybrid systems and applications to control algorithms

� “Formal Verification of Discrete Event and Hybrid Systems,” Ph.D. Dissertation,

Electrical Engineering and Computer Sciences, University of California at Berkeley, June

1995.

Page 40: Professional Profile

Computing and Communication

Contributions:

Metrics, Data analytics, and

Performance Management

� Business Metrics Data Collection and

Dashboard: Performance management

and data analytics solutions to IBM

Global Outsourcing business:� Full product life-cycle: from

requirements, to design, to

implementation (Java/Eclipse, DB2, web

services), to testing, ensuring customer

feedback and satisfaction at each phase

(Agile methods).

Europe/Asia-

Pacific/ Americas

SDM tool suite

WS

Metrics/KPI Dashboard

Performance measurement system

DCNC DPSS CT

TSMs DEMs TSAs Pricers

Repository

DE

CL

TE

SS Solution Strategy

CT Cost Targets

WS Win Strategy

NC Normalized costs

DC Deal Costing

DP Deal Pricing

DE – Deals data

CL – Claims data

TE – Travel expense

Page 41: Professional Profile

Computing and Communication

Contributions:

Metrics, Data analytics, and

Performance Management

� Business Metrics Data Collection

and Dashboard: Performance

management and data analytics

solutions to IBM Global Outsourcing

business:� Data analytics products used in

data collection, aggregation,

analysis and visualization of

outsourcing metrics and key

performance indicators (KPIs) in

dashboards.

� Delivered results on time, with

great customer satisfaction.