{"id":675,"date":"2016-08-20T17:25:14","date_gmt":"2016-08-20T16:25:14","guid":{"rendered":"http:\/\/eden-study.org\/?page_id=675"},"modified":"2023-12-13T14:05:18","modified_gmt":"2023-12-13T14:05:18","slug":"awards","status":"publish","type":"page","link":"https:\/\/eden-study.org\/?page_id=675","title":{"rendered":"Awards and Funding"},"content":{"rendered":"<p>[vc_row][vc_column][vc_row_inner][vc_column_inner][vc_text_separator title=\u201dAward\u201d i_icon_fontawesome=\u201dfa fa-trophy\u201d i_color=\u201dblack\u201d title_align=\u201dseparator_align_left\u201d align=\u201dalign_right\u201d add_icon=\u201dtrue\u201d el_class=\u201dh1\u2033][\/vc_column_inner][\/vc_row_inner][vc_row_inner][vc_column_inner]<ul class=\"timeline \">\n\t\t\t<li class=\"\">\n\t\t\t\t<div class=\"date\">2011<\/div>\n\t\t\t\t<div class=\"circle\"><\/div>\n\t\t\t\t<div class=\"data\"><div class=\"subject\">Most Influential Paper Award<\/div><div class=\"text row\">\n\t\t    <div class=\"col-md-12\">\n\t\t        <img loading=\"lazy\" decoding=\"async\" class=\"size-large wp-image-599 aligncenter\" src=\"https:\/\/eden-study.org\/wp-content\/uploads\/2016\/08\/2011-09-23-ASE-Award-e1471565853841-512x364.jpg\" alt=\"Automated Software Engineering Most Influential Paper Award\" width=\"512\" height=\"364\" srcset=\"https:\/\/eden-study.org\/wp-content\/uploads\/2016\/08\/2011-09-23-ASE-Award-e1471565853841-512x364.jpg 512w, https:\/\/eden-study.org\/wp-content\/uploads\/2016\/08\/2011-09-23-ASE-Award-e1471565853841-256x182.jpg 256w, https:\/\/eden-study.org\/wp-content\/uploads\/2016\/08\/2011-09-23-ASE-Award-e1471565853841-768x546.jpg 768w, https:\/\/eden-study.org\/wp-content\/uploads\/2016\/08\/2011-09-23-ASE-Award-e1471565853841.jpg 1858w\" sizes=\"auto, (max-width: 512px) 100vw, 512px\" \/><\/p>\n<p><a href=\"http:\/\/ase-conferences.org\"><em>IEEE\/ACM International Conference on Automated Software Engineering<\/em><\/a><\/p>\n<p>Article: \u201c<a href=\"https:\/\/eden-study.org\/?publications=1997ase\">Precise Specification and Automatic Application of Design Patterns<\/a>\u201d<\/p>\n<h5 style=\"text-align: left;\">In 2011 ASE ranked #9 among publication outlets in software systems<\/h5>\n<p>\n\t\t    <\/div><\/div><\/div>\n\t\t\t<\/li><\/ul>[\/vc_column_inner][\/vc_row_inner][\/vc_column][\/vc_row][vc_row el_id=\u201dfunding\u201d][vc_column][vc_text_separator title=\u201dFunding\u201d i_icon_fontawesome=\u201dfa fa-money\u201d i_color=\u201dblack\u201d title_align=\u201dseparator_align_left\u201d align=\u201dalign_left\u201d add_icon=\u201dtrue\u201d][\/vc_column][\/vc_row][vc_row][vc_column][vc_column_text]During\u00a02012\u201313 the\u00a0Software Engineering Institute awarded\u00a0203,470 USD from the LENS (Line-funded Exploratory New Starts) Fund to our project \u201c<a href=\"https:\/\/insights.sei.cmu.edu\/sei_blog\/2014\/01\/security-pattern-assurance-through-round-trip-engineering.html\">Security Pattern Assurance through Round-trip Engineering<\/a>\u201c.<\/p>\n<p>Between the years 1989\u20132010\u00a0my research has been supported by over 200,000 USD from the following bodies:[\/vc_column_text][vc_masonry_media_grid element_width=\u201d3\u2033 item=\u201d1983\u2033 grid_id=\u201dvc_gid:1702476223991-c3da396a-825b-9\u2033 include=\u201d2115,2114,2113,2112,2116,560,207,202,1532\u2033][\/vc_column][\/vc_row][vc_row][vc_column][vc_text_separator title=\u201dFunded collaboration\u201d i_icon_fontawesome=\u201dfa fa-user-plus\u201d i_color=\u201dblack\u201d title_align=\u201dseparator_align_left\u201d align=\u201dalign_left\u201d add_icon=\u201dtrue\u201d][\/vc_column][\/vc_row][vc_row][vc_column]<ul class=\"timeline \">\n\t\t\t<li class=\"\">\n\t\t\t\t<div class=\"date\">2011<\/div>\n\t\t\t\t<div class=\"circle\"><\/div>\n\t\t\t\t<div class=\"data\"><div class=\"subject\">Nicola Angius, University of Sassari, Italy<\/div><div class=\"text row\">\n\t\t    <div class=\"col-md-2\">\n\t\t        <img decoding=\"async\" alt=\"image\" class=\"thumbnail img-responsive\" src=\"https:\/\/eden-study.org\/wp-content\/uploads\/2016\/08\/ateneo-orizzontale_def1.png\">\n\t\t    <\/div>\n\t\t    <div class=\"col-md-10\">\n\t\t        P.R.I.N. \u2018Research Project of National Interest\u2019\n\t\t    <\/div><\/div><\/div>\n\t\t\t<\/li>\n\t\t\t<li class=\"\">\n\t\t\t\t<div class=\"date\">2010<\/div>\n\t\t\t\t<div class=\"circle\"><\/div>\n\t\t\t\t<div class=\"data\"><div class=\"subject\">Rick Kazman, Software Engineering Institute, Carnegie Mellon<\/div><div class=\"text row\">\n\t\t    <div class=\"col-md-2\">\n\t\t        <img decoding=\"async\" alt=\"image\" class=\"thumbnail img-responsive\" src=\"https:\/\/eden-study.org\/wp-content\/uploads\/2016\/08\/SEI_Software_Engineering_Institute1-1024x345.png\">\n\t\t    <\/div>\n\t\t    <div class=\"col-md-10\">\n\t\t        The Metropolis Model: Crowdsourcing for Software and Content Development\n\t\t    <\/div><\/div><\/div>\n\t\t\t<\/li>\n\t\t\t<li class=\"\">\n\t\t\t\t<div class=\"date\">2009<\/div>\n\t\t\t\t<div class=\"circle\"><\/div>\n\t\t\t\t<div class=\"data\"><div class=\"subject\">Bill Duncan, Department of Philosophy, SUNY Buffalo, NY<\/div><div class=\"text row\">\n\t\t    <div class=\"col-md-2\">\n\t\t        <img decoding=\"async\" alt=\"image\" class=\"thumbnail img-responsive\" src=\"https:\/\/eden-study.org\/wp-content\/uploads\/2016\/08\/University_at_Buffalo-SUNY_428950_i01.png\">\n\t\t    <\/div>\n\t\t    <div class=\"col-md-10\">\n\t\t        PhD Studentship\n\t\t    <\/div><\/div><\/div>\n\t\t\t<\/li>\n\t\t\t<li class=\"\">\n\t\t\t\t<div class=\"date\">2008<\/div>\n\t\t\t\t<div class=\"circle\"><\/div>\n\t\t\t\t<div class=\"data\"><div class=\"subject\">Selmer Bringsjord, Rensselaer Polytechnic Institute<\/div><div class=\"text row\">\n\t\t    <div class=\"col-md-2\">\n\t\t        <img decoding=\"async\" alt=\"image\" class=\"thumbnail img-responsive\" src=\"https:\/\/eden-study.org\/wp-content\/uploads\/2016\/08\/1024px-Rensselaer_at_Hartford_Seal.svg1_.png\">\n\t\t    <\/div>\n\t\t    <div class=\"col-md-10\">\n\t\t        Doing AI That's Tough Enough: Human Genius, Hypercomputation, and Automatic Programming\n\t\t    <\/div><\/div><\/div>\n\t\t\t<\/li>\n\t\t\t<li class=\"\">\n\t\t\t\t<div class=\"date\">2008<\/div>\n\t\t\t\t<div class=\"circle\"><\/div>\n\t\t\t\t<div class=\"data\"><div class=\"subject\">John Howse, Department of Computer Science, Brighton University<\/div><div class=\"text row\">\n\t\t    <div class=\"col-md-2\">\n\t\t        <img decoding=\"async\" alt=\"image\" class=\"thumbnail img-responsive\" src=\"https:\/\/eden-study.org\/wp-content\/uploads\/2016\/08\/2014018_fd_university_of_brighton_logo_large1.jpg\">\n\t\t    <\/div>\n\t\t    <div class=\"col-md-10\">\n\t\t        Reasoning with Diagrams for Software Development\n\t\t    <\/div><\/div><\/div>\n\t\t\t<\/li>\n\t\t\t<li class=\"\">\n\t\t\t\t<div class=\"date\">2006<\/div>\n\t\t\t\t<div class=\"circle\"><\/div>\n\t\t\t\t<div class=\"data\"><div class=\"subject\">Amiram Yehudai, Department of Computer Science, Tel Aviv University<\/div><div class=\"text row\">\n\t\t    <div class=\"col-md-2\">\n\t\t        <img decoding=\"async\" alt=\"image\" class=\"thumbnail img-responsive\" src=\"https:\/\/eden-study.org\/wp-content\/uploads\/2016\/08\/2072986-51.jpg\">\n\t\t    <\/div>\n\t\t    <div class=\"col-md-10\">\n\t\t        Ontology and paradigms of programming languages\n\t\t    <\/div><\/div><\/div>\n\t\t\t<\/li>\n\t\t\t<li class=\"\">\n\t\t\t\t<div class=\"date\">2006<\/div>\n\t\t\t\t<div class=\"circle\"><\/div>\n\t\t\t\t<div class=\"data\"><div class=\"subject\">Susan Stuart, Department of Philosophy, University of Glasgow<\/div><div class=\"text row\">\n\t\t    <div class=\"col-md-2\">\n\t\t        <img decoding=\"async\" alt=\"image\" class=\"thumbnail img-responsive\" src=\"https:\/\/eden-study.org\/wp-content\/uploads\/2016\/08\/gla21.jpg\">\n\t\t    <\/div>\n\t\t    <div class=\"col-md-10\">\n\t\t        Bodily Consciousness and Kinaesthetic Imagination\n\t\t    <\/div><\/div><\/div>\n\t\t\t<\/li>\n\t\t\t<li class=\"\">\n\t\t\t\t<div class=\"date\">2006<\/div>\n\t\t\t\t<div class=\"circle\"><\/div>\n\t\t\t\t<div class=\"data\"><div class=\"subject\">Shalom Lappin, Department of Philosophy, Kings College, London<\/div><div class=\"text row\">\n\t\t    <div class=\"col-md-2\">\n\t\t        <img decoding=\"async\" alt=\"image\" class=\"thumbnail img-responsive\" src=\"https:\/\/eden-study.org\/wp-content\/uploads\/2016\/08\/Kings-College-London-Logo1.png\">\n\t\t    <\/div>\n\t\t    <div class=\"col-md-10\">\n\t\t        Machine Learning and Poverty of Stimulus Arguments in the Theory of Grammar\n\t\t    <\/div><\/div><\/div>\n\t\t\t<\/li>\n\t\t\t<li class=\"\">\n\t\t\t\t<div class=\"date\">2006<\/div>\n\t\t\t\t<div class=\"circle\"><\/div>\n\t\t\t\t<div class=\"data\"><div class=\"subject\">Luciano Floridi, Faculty of Philosophy and IEG, Computing Laboratory, Oxford University<\/div><div class=\"text row\">\n\t\t    <div class=\"col-md-2\">\n\t\t        <img decoding=\"async\" alt=\"image\" class=\"thumbnail img-responsive\" src=\"https:\/\/eden-study.org\/wp-content\/uploads\/2016\/08\/2000px-Oxford-University-Circlet.svg1_-818x1024.png\">\n\t\t    <\/div>\n\t\t    <div class=\"col-md-10\">\n\t\t        The Informational Nature of Reality\n\t\t    <\/div><\/div><\/div>\n\t\t\t<\/li>\n\t\t\t<li class=\"\">\n\t\t\t\t<div class=\"date\">2006<\/div>\n\t\t\t\t<div class=\"circle\"><\/div>\n\t\t\t\t<div class=\"data\"><div class=\"subject\">Yoram Hirshfeld, Department of Pure Mathematics, Tel Aviv University<\/div><div class=\"text row\">\n\t\t    <div class=\"col-md-2\">\n\t\t        <img decoding=\"async\" alt=\"image\" class=\"thumbnail img-responsive\" src=\"https:\/\/eden-study.org\/wp-content\/uploads\/2016\/08\/2072986-51.jpg\">\n\t\t    <\/div>\n\t\t    <div class=\"col-md-10\">\n\t\t        The philosophy of computer science\n\t\t    <\/div><\/div><\/div>\n\t\t\t<\/li>\n\t\t\t<li class=\"\">\n\t\t\t\t<div class=\"date\">2005<\/div>\n\t\t\t\t<div class=\"circle\"><\/div>\n\t\t\t\t<div class=\"data\"><div class=\"subject\">Barry Smith, Department of Philosophy, SUNY Buffalo<\/div><div class=\"text row\">\n\t\t    <div class=\"col-md-2\">\n\t\t        <img decoding=\"async\" alt=\"image\" class=\"thumbnail img-responsive\" src=\"https:\/\/eden-study.org\/wp-content\/uploads\/2016\/08\/University_at_Buffalo-SUNY_428950_i01.png\">\n\t\t    <\/div>\n\t\t    <div class=\"col-md-10\">\n\t\t        The philosophy of computer science\n\t\t    <\/div><\/div><\/div>\n\t\t\t<\/li>\n\t\t\t<li class=\"\">\n\t\t\t\t<div class=\"date\">2005<\/div>\n\t\t\t\t<div class=\"circle\"><\/div>\n\t\t\t\t<div class=\"data\"><div class=\"subject\">B. Jack Copeland, Department of Philosophy, University of Canterbury, New Zealand<\/div><div class=\"text row\">\n\t\t    <div class=\"col-md-2\">\n\t\t        <img decoding=\"async\" alt=\"image\" class=\"thumbnail img-responsive\" src=\"https:\/\/eden-study.org\/wp-content\/uploads\/2016\/08\/2000px-University_of_Canterbury_Logo.svg1_-1024x801.png\">\n\t\t    <\/div>\n\t\t    <div class=\"col-md-10\">\n\t\t        Alan Turing: The Mechanisation of Thought Processes, Intelligent Machines, and the Imitation Game\n\t\t    <\/div><\/div><\/div>\n\t\t\t<\/li>\n\t\t\t<li class=\"\">\n\t\t\t\t<div class=\"date\">2004<\/div>\n\t\t\t\t<div class=\"circle\"><\/div>\n\t\t\t\t<div class=\"data\"><div class=\"subject\">Tom Mens, University of Mons-Hainaut, Belgium<\/div><div class=\"text row\">\n\t\t    <div class=\"col-md-2\">\n\t\t        <img decoding=\"async\" alt=\"image\" class=\"thumbnail img-responsive\" src=\"https:\/\/eden-study.org\/wp-content\/uploads\/2016\/08\/Logo-UMons1-1024x473.png\">\n\t\t    <\/div>\n\t\t    <div class=\"col-md-10\">\n\t\t        Lightweight formal tool support for software evolution\n\t\t    <\/div><\/div><\/div>\n\t\t\t<\/li><\/ul>[\/vc_column][\/vc_row]<\/p>\n","protected":false},"excerpt":{"rendered":"<p>[vc_row][vc_column][vc_row_inner][vc_column_inner][vc_text_separator title=\u201dAward\u201d i_icon_fontawesome=\u201dfa fa-trophy\u201d i_color=\u201dblack\u201d title_align=\u201dseparator_align_left\u201d align=\u201dalign_right\u201d add_icon=\u201dtrue\u201d el_class=\u201dh1\u2033][\/vc_column_inner][\/vc_row_inner][vc_row_inner][vc_column_inner][\/vc_column_inner][\/vc_row_inner][\/vc_column][\/vc_row][vc_row el_id=\u201dfunding\u201d][vc_column][vc_text_separator title=\u201dFunding\u201d i_icon_fontawesome=\u201dfa fa-money\u201d i_color=\u201dblack\u201d title_align=\u201dseparator_align_left\u201d align=\u201dalign_left\u201d add_icon=\u201dtrue\u201d][\/vc_column][\/vc_row][vc_row][vc_column][vc_column_text]During\u00a02012\u201313 the\u00a0Software Engineering Institute [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":18,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-675","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/eden-study.org\/index.php?rest_route=\/wp\/v2\/pages\/675","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/eden-study.org\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/eden-study.org\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/eden-study.org\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/eden-study.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=675"}],"version-history":[{"count":6,"href":"https:\/\/eden-study.org\/index.php?rest_route=\/wp\/v2\/pages\/675\/revisions"}],"predecessor-version":[{"id":2336,"href":"https:\/\/eden-study.org\/index.php?rest_route=\/wp\/v2\/pages\/675\/revisions\/2336"}],"up":[{"embeddable":true,"href":"https:\/\/eden-study.org\/index.php?rest_route=\/wp\/v2\/pages\/18"}],"wp:attachment":[{"href":"https:\/\/eden-study.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=675"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}