Gabor Madl  Gabor Madl photo         

contact information

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




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).


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