Jay Abraham is currently a Technical Manager at The MathWorks. His area of expertise is in software tools for the verification of critical embedded applications. He has 21 years software and hardware design experience. Jay began his career as a microprocessor designer at IBM followed by engineering and design positions at hardware, software tools, and embedded operating systems companies such as Magma Design Automation and Wind River Systems. He has held vice-chairmanships in IEEE standards committees and has presented at conferences and publications such as the Design Automation Conference, Embedded Systems Conference, International System Safety Conference, and Systems and Software Technology Conference. Jay has a MS in Computer Engineering from Syracuse University and a BS in Electrical Engineering from Boston University.
Podcasts / Webinars
Software in critical applications must operate safely and reliably. Since testing can only show the presence of defects, but not their absence, how can engineers be confident that their software is robust? Using static code analysis with formal methods, it… Read More