Gabor Madl  Gabor Madl photo         

contact information

Research Staff Member - Cloud System Analytics
Almaden Research Center, San Jose, CA, USA
  +1dash408dash927dash2728

links


profile


Summary

I am a research staff member at IBM Almaden Research Center. My current work is focused on Blockchain-based solutions for identity and data provenance, and real-time compression and thin provisioning automation for storage optimization.

I am a software engineer with background in safety-critical systems, cloud system analytics, model-based design and formal methods. Experience in Java, C++, Python, MATLAB Simulink/Stateflow, symbolic source code representation and analysis. Continuous integration, Jenkins, JUnit, Checkstyle, Ant. Permanent resident (green card).

Education

UC Irvine – Ph.D. in Computer Science, 2005 - 2009

Dissertation title: Model-based Analysis of Event-driven Distributed Real-time Embedded Systems.

Vanderbilt University – Ms.C. in Computer Science, 2003 - 2005

https://www.linkedin.com/in/gabormadl