Vijay
Ganesh
is
an
assistant
professor
at
the
University
of
Waterloo
since
September
2012.
Prior
to
his
current
appointment,
he
was
a
research
scientist
at
the
Massachusetts
Institute
of
Technology from
2007
to
2012.
Professor
Ganesh
completed
his
PhD
in
computer
science
from
Stanford
University in
2007
and
an
MS
in
electrical
engineering
in
2000
(also
from
Stanford
University).
He
is
broadly
interested
in
making
software
systems
reliable,
efficient
and
secure
through
automated
testing,
formal
methods
and
program
analysis.
A
central
component
of
many
modern
approaches
to
software
engineering
is
an
SMT solver.
Professor
Ganesh
has
designed
and
implemented
two
SMT
solvers
( STP & HAMPI)
that
are
used
in
100+
research
projects
in
formal
methods,
program
analysis,
synthesis,
testing
and
more
recently
in
programming
language
design.
Dr.
Ganesh
has
also
done
research
in
automated
software
testing
(e.g.,
whitebox
fuzzing),
and
hardware
architecture
description
languages.
He
is
currently
working
on
non-standard
approaches
to
software
reliability
based
on
cryptography,
formal
methods
and
programming
language
theory.
Please
visit Professor
Ganesh's
Profile
Page for
more
information.
