SE PhD Students-Institute for Software Research - Carnegie Mellon University

Afsoon Afzal

Afsoon Afzal

Office: Wean 4113

Email: a...@cs.cmu.edu

Jaspreet Bhatia

Jaspreet Bhatia

Office: Wean 4208

Email: j...@cs.cmu.edu

Advisor: Travis Breaux


Paulo Casanova

Paulo Casanova

Office: Wean 5117

Phone: (412) 268-4681

Website: http://www.cs.cmu.edu/~pcasanov/

Advisor: David Garlan


Vishal Dwivedi

Vishal Dwivedi

Office: Wean 4130

Phone: (412) 268-4685

Website: http://www.cs.cmu.edu/~vdwivedi/

Email: v...@cs.cmu.edu

Advisor: David Garlan


Morgan Evans

Morgan Evans

Office: TBD

Email: m...@andrew.cmu.edu

Advisor: TBD


Gabriel Ferreira

Gabriel Ferreira

Office: Wean 5111

Website: https://www.cs.cmu.edu/~gferreir/

Email: g...@cs.cmu.edu

Advisors: Christian Kästner


Thomas Glazier

Thomas Glazier

Office: Wean 4130

Email: t...@andrew.cmu.edu

Advisor: David Garlan


Cody Kinneer

Cody Kinneer

Office: Wean 4127

Email: c...@cs.cmu.edu

Jeremy Lacomis

Jeremy Lacomis

Office: TBD

Email: j...@andrew.cmu.edu

Advisor: TBD


Darya Melicher

Darya Melicher

Office: Wean 4126

Phone: (412) 268-2491

Website: http://www.cs.cmu.edu/~dkurilov/

Advisor: Jonathan Aldrich


Ashutosh Pandey

Ashutosh Pandey

Office: Wean 4130

Email: a...@cs.cmu.edu

Advisor: David Garlan


Ivan Ruchkin

Ivan Ruchkin

Office: Wean 4126

Phone: (412) 268-2491

Website: http://www.cs.cmu.edu/~iruchkin

Email: i...@cs.cmu.edu

Advisor: David Garlan


Selva Samuel

Selva Samuel

Office: Wean 4130

Email: s...@cs.cmu.edu


Daniel Smullen

Daniel Smullen

Office: Wean 4127

Phone: 412-268-4681

Email: d...@cs.cmu.edu

Advisor: Travis Breaux and David Garlan


Mauricio Soto

Mauricio Soto

Office: Wean 4103

Website: http://www.cs.cmu.edu/~msotogon/

Email: m...@cs.cmu.edu

Advisor: Claire LeGeoues


Roykrong Sukkerd

Roykrong Sukkerd

Office: Wean 4125

Website: http://www.cs.cmu.edu/~rsukkerd

Email: r...@cs.cmu.edu

Advisors: David Garlan and Reid Simmons


Rijnard Van-Tonder

Rijnard Van-Tonder

Office: Wean 5119

Email: r...@cmu.edu

Advisor: Claire LeGoues


Miguel Velez

Miguel Velez

Office: Wean 4107

Website: http://www.cs.cmu.edu/~mvelezce/

Email: m...@cs.cmu.edu

Advisors: Christian Kästner


Ryan Wagner

Ryan Wagner

Office: Wean 4109

Email: r...@cs.cmu.edu

Sudarshan Wadkar

Sudarshan Wadkar

Office: Wean 4109

Email: s...@cs.cmu.edu

Advisor: Travis Breaux


David Widder

David Widder

Office: TBD

Email: d...@andrew.cmu.edu

Advisor: TBD


Jenna Wise

Jenna Wise

Office: TBD

Email: j...@andrew.cmu.edu

Advisor: TBD


Chu Pan Wong

Chu Pan Wong

Office: Wean 4103

Website: http://www.cs.cmu.edu/~chupanw/

Email: c...@cs.cmu.edu

Advisor: Christian Kästner


Shurui Zhou

Shurui Zhou

Office: Wean 4208

Email: s...@cs.cmu.edu

Advisor: Christian Kästner