Robert T. Bauer Email & Phone Number

Weston, Florida, United States

Define and drive excellence in engineering operations. Own the end-to-end process for delivering quality engineering work, from planning through release. Define, track, and evolve key performance metrics for all aspects of engineering, from initial quality to operational excellence and beyond.Work with other senior leaders to evolve our metrics standards and engineering processes. Build effective and transparent systems and processes to make metrics observable and actionable to all stakeholders.Develop AI & ML roadmap to improve customer experience and exceed customer expectations. Establish and grow data strategy.Act as the voice and advocate for engineering internally, and amplify the value of engineering investments externally. Interface closely with product management and product marketing as engineering's advocate in shaping product direction.Build an efficient machine to attract and win engineers. Cultivate and build leveraged programs for engineering marketing.Drive a strong engineering culture, and build scalable systems to help people perform at their very best in an inclusive, safe environment. With a focus on career growth tracks, leveling, training, and onboarding materials.

Parkland, Florida, United States

Recommendation system research. Developed mathematical and statistical framework to understand, develop and evaluate Explore/Exploit and Collaborative Filter Recommenders in real-world applications.

Franklin, Tennessee, United States

Responsible for overall software quality and test automation.Reduced manual testing by nearly 15% and dramatically improved test coverage. Built test automation team. From zero automated tests, no test automation framework and no automation software engineers - recruited & hired team, developed automation components that integrated within Aristocrat applications, built Jenkins/Pytest CI/CD framework and automated 4700 tests. Established automated code coverage as well as automated performance & load testing including automated (statistical) analysis to identify performance regressions.Improved software quality process and significantly reduced the number of field issues requiring rework by software engineering teams from approximatley 20 per year to less than 2. Worked with global quality, field engineering, and tier 2 support to revamp the field escalation process to ensure a defined process that focused on improving customer experience (data collection, rapid resolution, recurrence prevention, accurate communication).

Greater Nashville Area, Tn

Leading Data Science, AI & Machine Learning Teams:Voice of Customer - Improve customer experience using NLP to study what agents & customers - Say (invented novel technique) --- Improved 5 star ratings from 4.1 to 4.5 - Do (service operation identification) --- 100% coverage of calls to determine what agents did --- Significantly improved NPS and engagement (CEO Recognition)NLP & Voice Analytics - Slam Identification - Accuracy significantly above 90% - Text Summarization - Extractive technique - Reduced overall average handle time by 1 minute - Sale Compliance Characterization - Descriptive statistics driving analysisForecast & Prediction Modeling - Incident Forecasts (10-20 basis point improvement) - Demand Forecast - ML Pipeline to achieve daily reports instead of manual quarterly - Loss Development and new model incident rates (new capabilities)Event Messaging & API Access Anomaly Detection - PII crypt/decrypt - Telemetry Data - ETL data eventsCustomer Knowledge GraphVision through delivery of the Advanced Analytics Platform supporting 100’s to 1000’s of models.Ideation and delivery of Experimentation Platform providing A/B/N test evaluationsDeveloped Personalization Maturity Model to coordinate enterprise-wide road maps mapping technologies to business value and customer experience.Developed Experimentation Maturity Model to guide organization from performing 10’s of experiments to 10, 000’s of experiments.Currently developing "AI driven dynamic web flows" to optimize and personalize customer experience.Extensive AWS experience (IAM, Networking, EMR, EC2, Kinesis, Lambda, etc.)

Delivered recommendation engine to “production” providing (100’s of) millions of recommendations on a daily basis.Architecture, design and implementation of hybrid recommendation engine that achieved 2x performance over best most-popular recommendations and 4x over segment-based random recommendations.Created behavior analysis of how customers use Asurion’s app. Developed technique to clean/normalize event data (duplicate, missing, out of sequence, indeterminate (time too coarse)) using bisimulation. Using normalized data, we were able to measure and compare customer ”engagement.”Developed (mobile phone) customer persona’s based on apps (number and kinds (built classification)), telemetry, usage, etc., using unsupervised learning. Studied more than 93 million users; wrote visualization code, prepared and calibrated fictional descriptions, etc.Achieved better than 30% cost avoidance for full system deployment by creating model driven automation. A very early prototype is available (https://github.com/shlomobauer/BuildIT.git).Led early adoption and corporate evaluation of Software Defined Networking (SDN).Early SDN Adoption panel participant at Open Networking Summit (ONS).

Greater Nashville Area, Tn

IaaS, PaaS, SaaS, Continuous Integration & Deployment, Build and Release Management and Software Configuration Management:Reduced server delivery from 6 weeks to 15 minutes (IaaS)Reduced platform delivery from days to under 3 hours (PaaS)Increased production releases by a factor of 4 through 100% automation of software delivery integrated with release management. Since previous process was mostly manual, approximately 75 resources were freed to concentrate on development efforts along with eliminating the need for a permanent CIRT team (25). (SaaS)Service Resiliency:Improved MTTI for external service failure from nearly an hour to minutes.Improved service availability from 80% to 99.9%Standardized API between enterprise and all external servicesTeam won Asurion's BOLD Technology award for driving innovation.

Revamped SDLC to Agile, doubling productivity.Drove QA improvements (design reviews, code inspections, checklists, static analysis, etc.) to achieve 200% reduction in defects.Planned, directed and scheduled development and quality assurance efforts to meet scope, quality, and timeline goals; allocated projects, products, and resources. Mentored developers, development managers and project managers.

Jerusalem, Israel

Led team of mathematicians and algorithm engineers for core product that optimizes placement of television commercials and promotions to maximize revenue while meeting advertising goals, industry requirements and regulatory statues. Managed SaaS development for other products that utilized core optimization engine. Led development of automatic DB synchronization tool.Hired, coached and reviewed managers and team leads; ensured that every team member understood their roles, goals and career paths; continually reviewed needs for skills development (align technology roadmap with ongoing skills assessment).

Portland, Oregon & Jerusalem, Israel

Compiler Architect - Compiler for interactive video. Created compiler architecture; wrote LEX/YACC specification for a declarative object-­oriented language.Physical Simulator (DHS) - Design & development of algorithms that analyzed satellite data describing commercial truck movement to identify possible drop-off points. Developed scoring techniques, rule based evaluation and noise filtering techniques. Created a compiler, rules engine, and physical simulator. Multiprocessor Research - Programming language and semantics research for multiprocessor shared memory computer systems. Non­blocking synchronization techniques. Language approaches for reasoning about relativistic programs executing on weak memory models. Multiprocessor simulators and semantics. Formal verification using theorem provers and model checking for a family (RCU) of high ­performance multi­core algorithms used in the Linux kernel.Software Engineering (training & consulting) -- Developed and presented customized training on software engineering, agile development, software testing, software project management for a variety of organizations (qai, disney, bmc, guidance, xp, scg, amgen, countrywide, nds).Keynote speaker at PSQT 2005 North International Conference.

Beaverton, Oregon

Designed and developed the Constraint Oriented Object Language (COOL). Led COOL compiler development team. Architecture and implementation of clearcase compare/merge for team model driven development. Compiler and execution engine for model driven development and pattern traceability. Simulators for software caching algorithms. Evaluation of declarative languages for model driven development. Architecture and high-­level design for embedded rule-­based, pattern engine compiler and pattern application interpreter. Led IBM Academy Study, “Static Analysis in Software Engineering." Formal verification of linux kernel reader­-writer lock implementation; formal verification of read­-copy update (RCU) algorithm. Chairperson: IBM Pacific Northwest Technical Experts Council. Published several peer reviewed papers on formal verification and software testing. Invited speaker on formal verification at USC Institute for Software Engineering, SCQA, IBM internal conferences, etc. Prepared white papers for IBM executives and fellows.

El Segundo, California

Architecture, design, and technical lead for the Parallel Test Environment (PTE), a UNIX/NT/Mainframe environment for fault­ tolerant verification of the NCR Teradata database system. Lead developer for Teradata SQL to ANSI SQL compiler. Created the architecture, high-­level design, led the development team,and managed delivery to general release of the Teradata Utilities Verification Tool. Disk array device drivers. Formal verification of a multicast file transfer protocol using SPIN model checker. Research to support testing a very-­large (48 Terabyte) relational database management system. Member of SDLC development team; developed and institutionaliized "Early Regression Testing" that moved 70% of system defects to development phase. Published peer reviewed papers on software testing, software development, and engineering technologies/techniques and wrote several internal white papers on software development and testing including foundational work on complexity measures.

Los Angeles, California

Fault­ tolerant Unix device drivers for software ­based RAID. Created drivers for SCSI disk drives, tape drives, cdroms, and dats. Features included background re­mirroring, hot swapping, system fail over, sector remapping and mirror reboot. Created drivers for Unix SVR3, Unix SVR4, and Unix SVR3/MP. Co­designed and implemented high­ performance algorithm to mirror data over a network.

Los Angeles, California

Designed and developed a real­-time operating system for high­ availability measurement and control systems. Designed and developed operating system for NASA’s Cryogenic Orbital Depot Satellite (COLD­SAT). Developed language and compiler for the field programmable Intelligent Measurement and Control Module (IMCOM). Created device drivers for a variety of interfaces including GPIB, RS232, RS485 and digital field bus. Designed CCD camera, peak­ capturing analog to digital converter and DMA hardware/software for monitoring liquid hydrogen. Implemented PID control software for 20 mA current­ loops as well as voltage based sensors/controllers. Algorithm work on equations of state for natural gas, hydrogen and neon. Algorithms for custody transfer and leak detection. Implemented embedded data compression using SVD.

Phd Candidate Computer Science, Formal Semantics Of Memory, "Operational Verification Of A Relativistic Program"

Msc Computer Science (Logics Of Time And Computation), "Demonstrating The Undecidibility Of First-Order Peano Arithmetic In Higher-Order Logic", 3.97

Bsc Industrial Technology, Magna Cum Laude, Network Models And Discrete Simulation, 3.89

Aas, Electronic Engineering, "Fast Successive Approximation", 3.9

Top Secret Clearance With Ssbi, Sci-Eligible; E6 (Po 1St Class)