{"51692":{"#nid":"51692","#data":{"type":"news","title":"Manolios Joins Experts At The International School","body":[{"value":"\u003Cp\u003E\u003Cstrong\u003E(August 28, 2006)--\u003C\/strong\u003ECollege of Computing Assistant Professor Pete Manolios lectured at the 6th International School on Formal Methods for the Design of Computer Communication and Software Systems in Bertinoro, Italy.\u003C\/p\u003E\n\u003Cp\u003EThe School is targeted towards graduate students and young researchers in the field, and brings together an international collection of leading academic and industrial experts in the area of hardware verification. Held at an Episcopal fortress dating back to the 10th century, Professor Manolios lectured on the use of refinement and theorem proving in hardware verification. This is a timely problem because functional verification is often a bottleneck in the microprocessor design cycle. As the complexity of microprocessor designs are ever-increasing, along with the potentially devastating economic consequences of shipping defective products, large amounts of time, human effort, and resources are required. For example the 1994 Pentium FDIV bug cost Intel $475 million, and it is estimated that a similar bug in the current generation Pentium processor would cost Intel $12 billion.\u003C\/p\u003E\n\u003Cp\u003EManolios is part of the College\u0027s Computing Science \u0026amp; Systems (CSS) division, as well as the Center for Experimental Research in Computer Systems (CERCS) and the Georgia Tech Information Security Center (GTISC). He is also an Adjunct in the School of Electrical and Computer Engineering, and his current research focuses on developing and applying formal verification techniques to help build computing systems that society can depend on.\u003C\/p\u003E\n\u003Cp\u003EFor more information on the 6th International School, \u003Ca href=\u0022http:\/\/www.sti.uniurb.it\/events\/sfm06hv\/\u0022 target=\u0022_blank\u0022\u003Eclick here\u003C\/a\u003E.\u003C\/p\u003E\n\u003Cp\u003EFor the compilation of this year\u2019s lectures, \u003Ca href=\u0022http:\/\/www.springer.com\/east\/home\/computer\/programming?SGWID=5-40007-22-173482942-0\u0022 target=\u0022_blank\u0022\u003Eclick here\u003C\/a\u003E.\u003C\/p\u003E","summary":null,"format":"limited_html"}],"field_subtitle":"","field_summary":[{"value":"\u003Cp\u003ECollege of Computing Assistant Professor Pete Manolios lectured at the 6th International School on Formal Methods for the Design of Computer Communication and Software Systems in Bertinoro, Italy.\u003C\/p\u003E","format":"limited_html"}],"field_summary_sentence":"","uid":"27154","created_gmt":"2010-02-09 21:46:51","changed_gmt":"2016-10-08 03:05:08","author":"Louise Russo","boilerplate_text":"","field_publication":"","field_article_url":"","dateline":{"date":"2006-08-29T00:00:00-04:00","iso_date":"2006-08-29T00:00:00-04:00","tz":"America\/New_York"},"extras":[],"groups":[{"id":"47223","name":"College of Computing"}],"categories":[],"keywords":[],"core_research_areas":[],"news_room_topics":[],"event_categories":[],"invited_audience":[],"affiliations":[],"classification":[],"areas_of_expertise":[],"news_and_recent_appearances":[],"phone":[],"contact":[],"email":[],"slides":[],"orientation":[],"userdata":""}}}