ProfessorMichael Huth
Visiting Professor
Department of Computing - Faculty of Engineering
Orcid identifier0000-0001-9229-3055
- Visiting ProfessorDepartment of Computing - Faculty of Engineering
- Huxley 566, Huxley Building, South Kensington Campus, United Kingdom
PROFESSIONAL ACTIVITIES
- Showing page 1 out of 2
Showing page 1, professional activities 1 to 25 of 27
- GUEST LECTURESELECTED12 Sep 2013STM-WG, a working group of the European Research Consortium for Informatics and Mathematics (ERCIM)
- EXTERNAL COMMITTEESELECTED9 Sep 2013 - 13 Sep 2013
- EXTERNAL COMMITTEESELECTED8 Jul 2013 - 12 Jul 2013
- EXTERNAL COMMITTEESELECTED16 Mar 2013 - 24 Mar 2013
- INDUSTRIAL CONNECTIONSELECTEDIntel Corporation1 Oct 2012 - 30 Sep 2014Trust Evidence From Programmer's Intent: Its Generation and Enforcement Via Policy-Based Risk Management
- EDITORIAL BOARDSELECTED1 Jul 2007Associate Editor (Software Engineering)
- RESEARCH STUDENT SUPERVISIONSELECTEDFinite-State Abstractions for Probabilistic Computation Tree LogicWagner D
- RESEARCH STUDENT SUPERVISIONSELECTEDParity Games: Descriptive Complexity and Algorithms for New SolversKuo J
- EXTERNAL COMMITTEE10 Sep 2014 - 11 Sep 2014
- EXTERNAL COMMITTEE8 Sep 2014 - 12 Sep 2014
- EXTERNAL COMMITTEE22 Jun 2014 - 27 Jun 2014
- GUEST LECTURE20 Jun 2013Workshop on Addressing R&D Challenges in Cybersecurity: Innovation and Collaboration Strategy
- GUEST LECTUREPolicy Languages for User Managed Access25 Feb 2011University of Newcastle
- EXTERNAL COMMITTEE13 Sep 2009 - 16 Sep 2009
- GUEST LECTUREIdentity Management: Key Technologies (Danish Workshop on IT Security in Practice)24 Jan 2008Aarhus University
- EXTERNAL COMMITTEEExternal Examiner for the School of Computer Science, University of Birmingham, BEng/MEng in Computer Science with Business Management, and BSc/MEng in Electronics and Software Engineering1 Nov 2006
- RESEARCH STUDENT SUPERVISIONCooperatively combining program verifiers: foundation and tool supportCharlton N
- RESEARCH STUDENT SUPERVISIONEfficient Specification Pattern Library for Model ValidationAntonik A
- RESEARCH STAFFKuo J
- MEMBERSHIP OF A PROFESSIONAL BODYIEEE Computer Society
- MEMBERSHIP OF A PROFESSIONAL BODYEuropean Association of Theoretical Computer Science
- MEMBERSHIP OF A PROFESSIONAL BODYAssociation of Computing Machinery
- MEMBERSHIP OF A PROFESSIONAL BODYACM Special Interest Group on Programming Languages
- MEMBERSHIP OF A PROFESSIONAL BODYACM Special Interest Group on Software Engineering
