Members:
Michael Gelfond
(
mgelfond@cs.ttu.edu
)
(Professor)
Richard Watson
(
rwatson@cs.ttu.edu
)
(Associate Professor)
Yuanlin Zhang
(
yzhang@redwood.cs.ttu.edu
)
(Assistant Professor)
Justin Blount
(
justin.blount@ttu.edu
)
(PhD Student)
Jarred Blount (
jarred.blount@ttu.edu
)
(PhD Student)
Sandeep Chintabathina
(
chintaba@cs.ttu.edu
)
(PhD Student)
Yana Maximova Todorova (
janabg82@hotmail.com
)
(PhD Student)
Ricardo Morales (
ricardo@cs.ttu.edu
)
(PhD Student)
Weijun Zhu (
weijun.zhu@ttu.edu
)
(PhD Student)
Affiliate Members:
Hector Hernandez
(
hector@cs.ttu.edu
)
Marcello Balduccini
(
marcello.balduccini@gmail.com
)
Veena Mellarkod
(
mellarko@cs.ttu.edu
)
Monica Nogueira (
monica@cs.utep.edu
)
Gregory Gelfond
(
gelfond@cs.ttu.edu
)
Mary Heidt (
mheidt@cs.utep.edu
)
Former Members:
Zhijun Lin (
lin@cs.ttu.edu
)
(PhD Student)
Saurabh Bhatla (
bhatla@cs.ttu.edu
)
(Master Student)
Nick Gianoutsos (
gianouts@cs.ttu.edu
)
(Master Student)
Vamsi Krishna Gudimetla (
gudimetl@cs.ttu.edu
)
(Master Student)
Loveleen Kolvekar (
kolvekal@cs.ttu.edu
)
(Master Student)
Back to KRLab Home
(Professor)