professional profile
Post on 15-Dec-2014
625 Views
Preview:
DESCRIPTION
TRANSCRIPT
Sonia R. Sachs
May 16, 2009
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.
My Profile
� Computing and Communication Contributions
� Management of research and development of projects and programs
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);
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.
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
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.
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.
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
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.
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.
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… ☺ )
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.
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.
My Profile
� Computing and Communication Contributions
� Approach to leadership and management
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
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
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.
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.
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.
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
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.
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.
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).
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
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
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
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
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.
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.
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
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
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.
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.
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.
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.
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.
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.
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.
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
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.
top related