Santos / Madrid / Roskilde / San Francisco / Austin / Continuation Call / Tokyo / Strict Independence / Munich / Constraint / Long Beach / Seattle / Barcelona / Melbourne / Miami / Edinburgh / Pointer / /
Company
Siemens Gmbh. / HC Electronics / ISTAG / Plenum Press / ACM SIGLOG / Tabled LP. / ICPA / Initiative de Recherche / IBM Corp. / ESPRIT / Eurotronica S.A. / Ohmsha Ltd. / EU Networks / ACM Press / Philips S.A. / Embedded Systems / Schloss Dagstuhl International Center / IEEE Press / 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 / /
Currency
GHS / /
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 / Campus Montegancedo s/n / Madrid Institute / / /
IndustryTerm
audio and automotive applications / generation computing / open source software / automatic Web-site generation / information technology / software patents / highperformance parallel logic programming systems / Web Services / /
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 / UPM / Computer Society / European Union / Logiciel Libre Center / Madrid Institute for Advanced Research / Universidad Politécnica de Madrid Campus Montegancedo s / Professional Computer Engineers’ Assoc. of Spain / POPL’2011 Most Influential Paper Award committee / Association for Logic Programming / National Science Foundation / Spanish National Research Directorate / MITI / Ecole Normale Superieure / Department Evaluation Advisory Board / Parallel Processing Program and ACA/Systems Technology Lab. / 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
Ken McAloon / M. Hermenegildo / V / 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 / Carrying Code / Yan Lin / Michael Leuschel / M. Bruynooghe / V / Antonio Porto / Germán Puebla / Julio Rey Pastor / Manuel Hermenegildo / José Francisco Morales / Claudio Silva / Jorge Navas / Prince / José Morales / Ricardo Rocha / P. Van Hentenryck / V / María García de la Banda / R. Manuel Hermenegildo / Dragan Ivanovic / Recent Collaborators Graduated / Manuel V. Hermenegildo / / /
Position
General scientific coordination / President / Session chairman / General / Co-Chairman / Editorial Adviser / Invited speaker / representative / Assistant /Associate Professor / Associate Professor / Scientific Director / Editor / Principal investigator / Model for Mobile Code Safety / Prince / Leader / Model / Chairman / Chair in Information Science and Technology / Director / Evaluator / Co-Chair / lecturer / Design Engineer / Faculty Adviser / department evaluator / Analyst / Conference Chair / Area Coordinator / /
ProgrammingLanguage
Java / FL / Prolog / /
ProvinceOrState
New Mexico / California / Arizona / Texas / /
PublishedMedium
The Constraints Journal / Journal of Symbolic Computation / The Computer Languages Journal / Theoretical Computer Science / Lecture Notes in Computer Science / /
Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio