{"id":575,"date":"2009-11-08T05:23:32","date_gmt":"2009-11-08T05:23:32","guid":{"rendered":"http:\/\/euvolution.com\/futurist-transhuman-news-blog\/?p=575"},"modified":"2009-11-08T05:23:32","modified_gmt":"2009-11-08T05:23:32","slug":"dr-gerard-holzmann-senior-research-scientist-at-the-laboratory-for-reliable-software-nasa%e2%80%99s-jet-propulsion-laboratory","status":"publish","type":"post","link":"https:\/\/www.euvolution.com\/futurist-transhuman-news-blog\/nasa\/dr-gerard-holzmann-senior-research-scientist-at-the-laboratory-for-reliable-software-nasa%e2%80%99s-jet-propulsion-laboratory.php","title":{"rendered":"Dr. Gerard Holzmann, Senior Research Scientist at the Laboratory for Reliable Software, NASA\u2019s Jet Propulsion Laboratory"},"content":{"rendered":"<p>After a 23 year career at Bell Labs, Dr. Gerard Holzmann joined NASA\u2019s Jet Propulsion Laboratory in 2003 to help create the Laboratory for Reliable Software (LaRS), which he currently manages. Dr. Holzmann is credited with inventing the SPIN model checker for distributed software systems and a Method and Apparatus for Testing Event Driven Software, as well as authoring The Power of 10: Rules for Developing Safety Critical Code, and the groundbreaking book Beyond Photography \u2013 The Digital Darkroom.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>After a 23 year career at Bell Labs, Dr. Gerard Holzmann joined NASA\u2019s Jet Propulsion Laboratory in 2003 to help create the Laboratory for Reliable Software (LaRS), which he currently manages. Dr. Holzmann is credited with inventing the SPIN model &hellip; <a href=\"https:\/\/www.euvolution.com\/futurist-transhuman-news-blog\/nasa\/dr-gerard-holzmann-senior-research-scientist-at-the-laboratory-for-reliable-software-nasa%e2%80%99s-jet-propulsion-laboratory.php\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"limit_modified_date":"","last_modified_date":"","_lmt_disableupdate":"","_lmt_disable":"","footnotes":""},"categories":[20],"tags":[],"class_list":["post-575","post","type-post","status-publish","format-standard","hentry","category-nasa"],"modified_by":null,"_links":{"self":[{"href":"https:\/\/www.euvolution.com\/futurist-transhuman-news-blog\/wp-json\/wp\/v2\/posts\/575"}],"collection":[{"href":"https:\/\/www.euvolution.com\/futurist-transhuman-news-blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.euvolution.com\/futurist-transhuman-news-blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.euvolution.com\/futurist-transhuman-news-blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.euvolution.com\/futurist-transhuman-news-blog\/wp-json\/wp\/v2\/comments?post=575"}],"version-history":[{"count":0,"href":"https:\/\/www.euvolution.com\/futurist-transhuman-news-blog\/wp-json\/wp\/v2\/posts\/575\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.euvolution.com\/futurist-transhuman-news-blog\/wp-json\/wp\/v2\/media?parent=575"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.euvolution.com\/futurist-transhuman-news-blog\/wp-json\/wp\/v2\/categories?post=575"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.euvolution.com\/futurist-transhuman-news-blog\/wp-json\/wp\/v2\/tags?post=575"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}