Wolfgang Grieskamp

Wolfgang Grieskamp Email and Phone Number

Tech Lead and Manager @ Aptos
Redmond, WA, US
Wolfgang Grieskamp's Location
Redmond, Washington, United States, United States
Wolfgang Grieskamp's Contact Details

Wolfgang Grieskamp personal email

n/a
About Wolfgang Grieskamp

My passion is around software engineering productivity. I have worked on core technology for productivity (compilers, languages, static analysis, testing, formal methods), as well as applied those in subject domains (control systems, protocols and web services, machine learning, mobile stack, and blockchain).

Wolfgang Grieskamp's Current Company Details
Aptos

Aptos

View
Tech Lead and Manager
Redmond, WA, US
Website:
aptoslabs.com
Employees:
219
Wolfgang Grieskamp Work Experience Details
  • Aptos
    Tech Lead And Manager
    Aptos
    Redmond, Wa, Us
    View
  • Aptos
    Lead Software Engineer
    Aptos May 2022 - Present
    Palo Alto, Ca, Us
    View
  • Facebook
    Software Engineer
    Facebook Sep 2019 - May 2022
    Working at Novi Research on the formal verification of Move smart contracts. The Diem smart contract framework, some 10,000 lines of code, has been fully specified and verified as a result of this work. Verification is running as part of continuous integration for each Move code change. Our TACAS'22 paper documenting this work received an ETAPS best paper award.
    View
  • Google
    Senior Staff Software Engineer
    Google Oct 2015 - Sep 2019
    Mountain View, Ca, Us
    Leading the system engineering part of distributed, privacy preserving machine learning on mobile devices, as part of Google's R&MI division.Your phone trains at night when you sleep on your logged personal experience, without data ever leaving your device. Training results will be uploaded and combined in the cloud with millions of others, having encryption in place which does not allow to see intermediate results for any party, but only the result.
    View
  • Google
    Staff Software Engineer
    Google Apr 2011 - Oct 2015
    Mountain View, Ca, Us
    Helping to define Google's next generation API platform, which is the foundation of service-oriented architectures in Google's internal and eventually also public cloud. The results of this effort lead into istio.io.Worked on making protocol buffers and JSON more compatible as interoperable protocols for APIs. One result of this effort is protocol buffers v3, a project I coordinated across Google.Also running with a couple of fellows the existing API platform, which gives people access to most of Google Cloud Platform, Youtube, Gmail, G+, etc.
    View
  • Microsoft
    Principal (Software) Architect
    Microsoft Dec 2006 - Apr 2011
    Redmond, Washington, Us
    Helped fulfilling Microsoft's obligations with the DoJ and EU regards correctness of the documentation of Windows client/server and server/server protocols. Devised a process and tools which convinced regulators and was applied in +300 person years of testing effort, most of which using model-based testing with Spec Explorer. As a side effect, brought Spec Explorer from a research product to shipping status as an extension to Visual Studio.
    View
  • Microsoft Research
    Senior Researcher
    Microsoft Research 2001 - 2006
    Redmond, Washington, Us
    Responsible for design and implementation of modeling and model-based testing tools and notations based on .Net. Created Exploring Runtime (XRT), an implementation of the CLR which allows for symbolic program and model execution and analysis. Developed three generations of model-based testing tools which finally let into the Spec Explorer 2010 product. Implemented and boostrapped the AsmL language and compiler, which later became the first version of the Spec# language.
    View
  • Technische Universität Berlin
    Researcher
    Technische Universität Berlin 1998 - 2000
    Berlin, Berlin, De
    Working as a researcher in a contract with DaimlerChrysler on applying specification languages to testing. Created a virtual machine based on concurrent constraint resolution which can execute Z specifications and is used for verification of test logs.
    View
  • Espress At Tu Berlin
    Researcher
    Espress At Tu Berlin 1996 - 1998
    Working in the German national project ESPRESS, an applied research project for using formal methods in the development of embedded systems. Acting as the project leader for TU Berlin.
  • Korso At Tu Berlin
    Researcher
    Korso At Tu Berlin 1994 - 1996
    Working in the German national project Korso (Korrekte Software). My focus is on executable specification languages.
  • Technische Universität Berlin
    Researcher And Teaching Assistant
    Technische Universität Berlin 1991 - 1996
    Berlin, Berlin, De
    Teaching compiler construction and formal methods w/ Peter Pepper. Developed the OPAL compilation system, a comprehensive programming environment, which supports highly optimizing compilation and dynamic interpretation, a rich framework to access most of Unix functionality including UI, documentation generation, and more. OPAL is 2nd in the pseudoknot benchmark only to Haskell. OPAL was used for 15 years at TU Berlin to teach software engineering and compiler construction, until it was retired.
    View
  • Misc
    Freelancer
    Misc 1982 - 1992
    Working on various software projects on a per-contract base or for fun, first on Apple ][, then Atari, then PC, then NeXT. Projects range from professional like statistical evaluation and visualization software for traffic data over study related like porting of network stack KA9Q, to 'this need to be done' kind of things, like compiler compiler, UI framework based on GEM, chess game, etc.

Wolfgang Grieskamp Skills

Lead By Example .net Compiler Construction Distributed Systems Software Design Git Subversion Test Automation Linux Model Based Testing Algorithms Design Patterns Rest Debugging Windows Open Source Perl Operating Systems Visual Studio Networking Shell Scripting Agile Methodologies Scrum Formal Verification Communication Protocols Uml Eclipse Programming Java Embedded Systems Testing Web Services Oop C++ Software Engineering Python Multithreading Automated Software Testing Formal Languages Computer Science Software Development Unix Cloud Computing Architecture C# Integration Object Oriented Design Architectures System Architecture Programming Language Theory

Wolfgang Grieskamp Education Details

  • Technische Universität Berlin
    Technische Universität Berlin
    Software Languages And Systems
  • Technische Universität Berlin
    Technische Universität Berlin
    Software Languages And Systems

Frequently Asked Questions about Wolfgang Grieskamp

What company does Wolfgang Grieskamp work for?

Wolfgang Grieskamp works for Aptos

What is Wolfgang Grieskamp's role at the current company?

Wolfgang Grieskamp's current role is Tech Lead and Manager.

What is Wolfgang Grieskamp's email address?

Wolfgang Grieskamp's email address is wg****@****ook.com

What schools did Wolfgang Grieskamp attend?

Wolfgang Grieskamp attended Technische Universität Berlin, Technische Universität Berlin.

What skills is Wolfgang Grieskamp known for?

Wolfgang Grieskamp has skills like Lead By Example, .net, Compiler Construction, Distributed Systems, Software Design, Git, Subversion, Test Automation, Linux, Model Based Testing, Algorithms, Design Patterns.

Free Chrome Extension

Find emails, phones & company data instantly

Find verified emails from LinkedIn profiles
Get direct phone numbers & mobile contacts
Access company data & employee information
Works directly on LinkedIn - no copy/paste needed
Get Chrome Extension - Free

Aero Online

Your AI prospecting assistant

Download 750 million emails and 100 million phone numbers

Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.