Hasan Amjad's Affiliations
- ARG Group
- - Ursula Martin
  - Aaron Coble
  - Alexey Gotsman
  - Andrei Kapustin
  - Anthony Fox
  - Behzad Akbarpour
  - Hasan Amjad
  - James Reynolds
  - Jean Martina
  - Joe Hurd
  - Kong Woei Susanto
  - Larry Paulson
  - Magnus Myreen
  - Mateja Jamnik
  - Michael Compton
  - Mike Gordon
  - Thomas TÃ¼rk

Research

(Analysis last run in January 2008)

2005--2007: 'models checking'; 'theorem prover'; 'theorem proving'; 'propositional refutations'; 'shallow lazy proofs';

2000--2004: 'models checking'; 'theorem prover'; 'theorem proving'; 'BDD representation judgements'; 'AMBA protocol'; 'symbolic models checker'; 'abstraction refinement';

1995--1999: 'classical multiplicative linear logic'; 'process algebra models';

Related People

Joe Hurd [ ARG ]:
- 'theorem prover'; 'theorem proving';
Larry Paulson [ Security ][ TSG ][ ARG ]:
- 'interactive theorem proving'; 'reflection theorem'; 'yahalom protocol';
Ross Anderson [ Security ]:
- 'protocol analysis'; 'theorem prover';
Mateja Jamnik [ AI ][ ARG ]:
- 'theorem proving';
Jolyon Clulow [ Security ]:
- 'theorem prover';
Mike Gordon [ TSG ][ ARG ]:
- 'theorem proving';
Kong Woei Susanto [ ARG ]:
- 'interactive theorem proving';

Disclaimer: All content has been generated automatically by a program running on the titles of publications extracted from people's webpages.
©2007 Advaith Siddharthan, Computer Laboratory, University of Cambridge. Please send any comments on this page to as372@cl.cam.ac.uk