 |
Mike
Hinchey joined the
Virginia Tech faculty
this fall semester
as Research Professor
in Computer Science.
Dr. Hinchey is one
of the first faculty
hires in IT through
IIIT; he will be
based in northern
Virginia and will
be working to help
build our research
and graduate degree
programs in software
engineering. His
main interests are
in formal approaches
to software development,
correctness, and
agent-based technology.
He will also be
working through
IIIT to form closer
collaborations between
our software engineering
and wireless engineering
programs.
Dr. Hinchey will
work half-time at
Virginia Tech, retaining
his other associations.
He is Director of
the Software Engineering
Laboratory at NASA's
Goddard Space Flight
Center, in Greenbelt,
Maryland, and Director
of the Software
Verification Research
Centre at University
of Queensland, Australia.
He has written or
edited 11 books
on various aspects
of software engineering
and formal methods.
He is the former
Chair of the IEEE
Computer Society's
Technical Committee
on Complexity in
Computing, and is
the IEEE's voting
representative to
IFIP. He has held
visiting positions
at various universities
in Ireland, the
UK, Sweden and Japan,
and from 1999-2001
was the only Professor
of Software Engineering
in Sweden.
Dr. Hinchey received
his B.Sc. in Computer
Science from University
of Limerick, Ireland,
an M.Sc. in Computation
from University
of Oxford, and his
Ph.D. in Computer
Science from University
of Cambridge, UK.
top
of page
|
|
.gif){kind=small}
