Pulse Explorer nav.journalClub Débats Tendances Chercheurs

Join discussions, follow papers, and never miss your next session.

Download on theApp Store

Accueil Explorer nav.journalClub Tendances

⌘+K

Wilfred J. Hansen | Synapse

WJ

Wilfred J. Hansen

Logic, programming, and type systems

Software Engineering Institute

About

Research focus

Logic, programming, and type systems

Impact

34 pubs · 971 cites · h-index 10

Affiliations

Work Experience

Software Engineering Institute

1999 - 1999

Carnegie Mellon University

1987 - 1999

Sandia National Laboratories California

1992 - 1992

University of Glasgow

1988 - 1988

University of Pittsburgh

1981 - 1981

Publications