Travelled to:1 × Canada
2 × USA
Collaborated with:S.Goldwasser D.Gutfreund T.Kaufman G.N.Rothblum S.P.Vadhan E.Viola
Talks about:nondetermin (1) construct (1) constant (1) approach (1) program (1) amplifi (1) verifi (1) depth (1) decod (1) check (1)
Person: Alexander Healy
DBLP: Healy:Alexander
Contributed to:
200820072004Wrote 3 papers:
- STOC-2008-GoldwasserGHKR #approach
- A (de)constructive approach to program checking (SG, DG, AH, TK, GNR), pp. 143–152.
- STOC-2007-GoldwasserGHKR #constant #verification
- Verifying and decoding in constant depth (SG, DG, AH, TK, GNR), pp. 440–449.
- STOC-2004-HealyVV #nondeterminism #using
- Using nondeterminism to amplify hardness (AH, SPV, EV), pp. 192–201.