Santos / Abstract Interpretation / Madrid / Roskilde / San Francisco / Austin / Tokyo / Strict Independence / Munich / Long Beach / Seattle / Melbourne / Edinburgh / Pointer / /
Company
Siemens Gmbh. / HC Electronics / ISTAG / MIT Press / Parallel Logic Programming Systems / ACM SIGLOG / Initiative de Recherche / ICPA / IBM Corp. / ESPRIT / Eurotronica S.A. / CLP Systems / EU Networks / ACM Press / Philips S.A. / Embedded Systems / Advanced Embedded Systems / Cambridge U. Press / IFCoLog / Microsoft / Cambridge University Press / /
Country
Netherlands / France / Japan / Australia / Portugal / United Kingdom / Israel / Denmark / Germany / Italy / Sweden / Belgium / United States / Singapore / Spain / /
Facility
T.U. Madrid/Melbourne University / Imperial College / University of Copenhagen / New Mexico State University / National Optics Institute / PiLLoW library / University of Texas / IMDEA SW Institute / IMDEA Software Institute / Japanese Institute / Madrid Institute / / /
IndustryTerm
logic programming systems / audio and automotive applications / generation computing / open source software / http /
MarketIndex
Top 40 / /
Organization
European Union Advisory Committee for Research / Spanish Senate / Spanish Scientific Research Council / Spanish Foundation for Science and Technology / Cambridge University / University of Texas at Austin / T.U. Madrid/Melbourne University / Program Committee / European Research Council / European Association for Programming Languages and Systems / Tau Beta Pi Engineering Honor Society / Spanish Center for Industrial and Technological Development / OECD / Computer Science Department / Japanese Institute / Academia Europaea / Spanish National Research Council / Ecole Polytechnique / Spanish national research performance evaluation commission / UPM / Computer Society / European Union / Logiciel Libre Center / Madrid Institute for Advanced Research / Professional Computer Engineers’ Assoc. of Spain / POPL’2011 Most Influential Paper Award committee / Association for Logic Programming / National Science Foundation / MIT / Spanish National Research Directorate / MITI / Ecole Normale Superieure / Department Evaluation Advisory Board / Parallel Processing Program and ACA/Systems Technology Lab. / Universidad Politécnica de Madrid / IMDEA SW Institute / Imperial College / IMDEA Software Institute / National Optics Institute / Scientific Advisory Board / Steering Committee of ACM Principles of Programming Languages Conference / Department of Computer Science / New Mexico State University / Department of Defense / University of Copenhagen / Assoc. for Logic Programming / /
Person
Francisco Bueno / Manuel Carro / M. García de la Banda / Mario Méndez / Amadeo Casas / Pedro López García / Daniel Cabeza Gras / Ben Gurion / IST FP IV / V / Yan Lin / Michael Leuschel / M. Bruynooghe / V / Antonio Porto / Germán Puebla / Julio Rey Pastor / Manuel Hermenegildo / José Francisco Morales / Jorge Navas / Prince / José Morales / María García de la Banda / Recent Collaborators Graduated / Manuel V. Hermenegildo / / /
Position
General scientific coordination / President / Session chairman / Co-Chairman / Editorial Adviser / Invited speaker / representative / Assistant /Associate Professor / Associate Professor / Scientific Director / Editor / Principal investigator / Prince / Leader / Chairman / Chair in Information Science and Technology / Director / Evaluator / Co-Chair / lecturer / Design Engineer / Faculty Adviser / department evaluator / Analyst / Conference Chair / Area Coordinator / /
ProgrammingLanguage
Prolog / /
ProvinceOrState
New Mexico / Arizona / Texas / Massachusetts / /
PublishedMedium
Journal of Symbolic Computation / Theoretical Computer Science / Lecture Notes in Computer Science / /
Region
North Holland / /
Technology
Functional Programming / Program Development Technology / information technology / implementation technologies / simulation / Parallel Processing / /
Manuel Hermenegildo Areas of Interest Advanced Program Development Technology, Global Program Analysis / Optimization / Verification, Abstract Interpretation, Abstract Machines, Parallelizing Compilers, Resource-Aware Di