Egon Börger (born 1946) is a German-born computer scientist based in Italy. Professor Egon Börger was born in Bad Laer, Lower Saxony, Germany. Between 1965 and 1971 he studied at the Sorbonne, Paris (France), Université Catholique de Louvain and Institut Supérieur de Philosophie de Louvain, University of Münster (Germany). Since 1985 he has held a Chair in computer science at the University of Pisa, Italy. Professor Egon Boerger is a pioneer of applying logical methods in computer science.

PropertyValue
dbpprop:abstract
  • Egon Börger (born 1946) is a German-born computer scientist based in Italy. Professor Egon Börger was born in Bad Laer, Lower Saxony, Germany. Between 1965 and 1971 he studied at the Sorbonne, Paris (France), Université Catholique de Louvain and Institut Supérieur de Philosophie de Louvain, University of Münster (Germany). Since 1985 he has held a Chair in computer science at the University of Pisa, Italy. Professor Egon Boerger is a pioneer of applying logical methods in computer science. He is co-founder of the international conference series CSL . He is also one of the founders of the Abstract State Machines (ASM) Method for accurate and controlled design and analysis of computer-based systems and co-founder of the series of international ASM workshops . He contributed to the theoretical foundations of the method and initiated its industrial applications in a variety of fields, in particular programming languages, system architectures, requirements and software (re-)engineering, control systems, protocols, web services. To this date, he is one of the leading scientists in ASM-based modeling and verification technology, which he has crucially shaped by his activities. In 2007 he received the prestigious "Humboldt Research Award"
  • Ha studiato alla Sorbona di Parigi, all'Università di Lovanio e all'Istituto Superiore di Filosofia di Lovanio, all'Università di Münster dal 1965 al 1971. Ha vissuto per lungo tempo a Verchiano e a Foligno. Börger è noto per aver sposato le algebre evolventi, un metodo formale per la specificazione e la validazione, oggi noto sotto il nome di Abstract state machines (ASM). Dal 1985 ha una cattedra di informatica all'Università di Pisa. Il professor Egon Boerger è un pioniere dei metodi della logica applicata nella scienza dei computer. È cofondatore delle serie di conferenze internazionali CSL. È anche tra i fondatori del metodo Abstract state machine (ASM) per un accurato disegno controllato ed analisi dei sistemi basati su computerfor e cofondatore delle serie di workshop internazionali ASM. Ha contribuito alla fondazione teoretica del metodo ed iniziato la sua applicazione industriale in vari campi, in particolare neilinguaggio di programmazione, nelle architetture di sistema, esigenze e rimodulazione di software, sistemi di controllo, protocollli, servizi web. Ad oggi è uno dei principali scienziati per il modelli basati sull'ASM e tecnologie di verifica, che hanno modellato significativamente la sua attività. Nel 2007 ha ricevuto il prestigioso "premio Humboldt per la ricerca".
dbpprop:hasPhotoCollection
dbpprop:id
  • b/B=ouml=rger:Egon
dbpprop:name
  • Egon Börger
dbpprop:reference
dbpprop:wikiPageUsesTemplate
rdfs:comment
  • Egon Börger (born 1946) is a German-born computer scientist based in Italy. Professor Egon Börger was born in Bad Laer, Lower Saxony, Germany. Between 1965 and 1971 he studied at the Sorbonne, Paris (France), Université Catholique de Louvain and Institut Supérieur de Philosophie de Louvain, University of Münster (Germany). Since 1985 he has held a Chair in computer science at the University of Pisa, Italy. Professor Egon Boerger is a pioneer of applying logical methods in computer science.
  • Ha studiato alla Sorbona di Parigi, all'Università di Lovanio e all'Istituto Superiore di Filosofia di Lovanio, all'Università di Münster dal 1965 al 1971. Ha vissuto per lungo tempo a Verchiano e a Foligno. Börger è noto per aver sposato le algebre evolventi, un metodo formale per la specificazione e la validazione, oggi noto sotto il nome di Abstract state machines (ASM). Dal 1985 ha una cattedra di informatica all'Università di Pisa.
rdfs:label
  • Egon Börger
  • Egon Börger
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of