Profile

Cover photo
Jim Grundy
Works at Intel Corporation
Attended University of Cambridge, England
Lives in Portland, Oregon, United States
9,237 views
AboutPostsPhotosVideos

Stream

Jim Grundy was tagged in a photo.

Jim Grundy

Shared publicly  - 
1
In their circles
130 people

Jim Grundy

Shared publicly  - 
 
Driving
1
Eran Talmor's profile photoArie Aharon's profile photo
2 comments
 
So envy...
Add a comment...
People
In their circles
130 people
Education
  • University of Cambridge, England
    PhD in Computer Science, 1990 - 1994
  • University of Queensland, Australia
    BSc with 1st Class Honours in Computer Science, 1986 - 1989
Story
Tagline
Formal verification practitioner and researcher.
Introduction
Jim is a researcher in and practitioner of formal verification technologies and applications at Intel Corporation; where he has worked since 2000.  Prior to that Jim was on the faculty of the Department of Computer Science at the Australian National University.  Jim has also worked as a post-doctoral researcher at Åbo Akademi in Finland, and as a research scientist at the Australian Defence Science and Technology Organisation.  Jim holds a PhD from the University of Cambirdge, UK and BSc from the University of Queensland.

Bragging rights
Chump Car and 24 Hours of Lemons competitor
Work
Occupation
Computer Scientist
Skills
Software Engineering, Functional Programming, Automated Reasoning, Formal Verification
Employment
  • Intel Corporation
    Silicon Architecture Engineer, 2013 - present
  • Intel Corporation
    Research Scientist, 2000 - 2013
  • Australian National University
    Lecturer, 1996 - 2000
  • Åbo Akademi University
    Postdoctoral Researcher, 1995 - 1996
  • Defence Science and Technology Organisation
    Research Scientist, 1994 - 1995
Places
Map of the places this user has livedMap of the places this user has livedMap of the places this user has lived
Currently
Portland, Oregon, United States
Previously
Brisbane, Australia - Adelaide, Australia - Cambridge, England - Turku, Finland - Canberra, Australia