About

Welcome to my page! My name is Martin Schwarz, I’m a computer scientist living in Berlin, Germany. I’ve graduated in 2003 from Vienna University of Technology with a “Dipl.-Ing.” degree, that is considered equivalent to an “MSc.” at other places, and in 2014 from University of Vienna with a “Dr. rer. nat.” in physics.  Since my student days, I’ve been working with TTTech Computertechnik AG, a highly innovative spin-off of TU Vienna, specialized on time-triggered real-time communication.

In 2009, I took a sabbatical from TTTech to start a PhD at the Quantum Information Theory group of Prof. Frank Verstraete at University of Vienna, Austria. Currently I’m a post-doctoral researcher and Alexander-von-Humboldt fellow at Freie Universität Berlin, Germany. I’m working in the fascinating field of Quantum Computing in general, and Quantum Computational Complexity Theory in particular. For more information, please check out my page on research areas of interest.

Before I left industry for academia, I was responsible for technology and product management of TTTech’s latest technology called Time-Triggered Ethernet, or TTEthernet for short. It’s currently used on some exciting niche applications, such as NASA Orion CEV, but designed to scale to industrial, aerospace, and automotive markets as well.

Key algorithms of TTEthernet have been formally verified by Formal Methods, which is another area I’m interested in. Formal Methods is all about applying rigorous mathematical reasoning to the verification of critical software and systems in an automated, mechanical way. Since verifying software by testing and reviewing is extremely time-consuming, thus expensive and yet incomplete (you can’t proof the absence of bugs by testing, only their presence), better ways are being sought. Formal Methods, especially under the hood of Model-Based Design, may be a way to overcome this hurdle, but still needs to proof its industrial viability on a large scale. Professionally, I have been involved in fostering the use of Formal Methods in the verification of safety critical avionics software in the upcoming and revised DO-178C standard for avionics software certification. But besides technological (making it work effectively in practice) and educational hurdles (teaching software engineers and authorities the application of formal verification and its limitations in real-life), there are also severe regulatory issues (DO-178B) to overcome, which enshrine current practice of testing and reviews as the only admissible way to gain certification credit, thus hindering progress towards more safe and cost effective software development.

Alright, thanks for visiting! And don’t forget to post a comment!

best regards,

Martin

6 responses to “About

  1. Hallo Junior, super Webseite leider kann ich nicht alles lesen was du schreibst.

    LG PAPA

  2. Pingback: Hats « Martin Schwarz

  3. Georg Walkner

    Servus Martin,

    kann mich deinem Vater nur anschließen – super seite!
    lg Georg

  4. Todd Ha

    Hi Martin (&Georg)! Came across your site *somewhat* randomly and thought I’d say hello! Hope all is going well for you! :)

    -todd

    • Thanks, Todd! Yeah, I’m fine! Still living at Vienna and working at TTTech. I think Georg is fine, too, but he has left in TTTech in the mean time, moved to Salzburg, bought a house and married his girlfriend.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s