Current Members

  • Joohyung Lee. Associate Professor
  • Zhun Yang. Ph.D. student (2017 - )
  • Adam Ishay. Ph.D. student (2019 -)

Alumni


Ph.D.
  • Ravi Palla (Ph.D., 2012)
    • Dissertation title: Bridging the Gap between Classical Logic Based Formalisms and Logic Programs
    • Winner of the first prize in first Deep KR Challenge workshop
    • First employment: research scientist at Siemens Corporate Research, New Jersey
  • Yunsong Meng (Ph.D., 2013)
    • Dissertation title: Answer Set Programming and Other Computing Paradigms
    • First employment: research scientist at Samsung Information Systems in America in San Jose
  • Mike Bartholomew (Ph.D., 2016)
    • Dissertation title: Answer Set Programming Modulo Theories
    • Dean's scholarship recipient, CS Distinguished Senior Award (2010), CS Outstanding Dissertation Award (2016)
    • First employment: software engineer at Amazon, Seattle
  • Yi Wang (Ph.D., 2019)
    • Dissertation title: Reasoning and Learning with Probabilistic Answer Set Programming.
    • First employment: Research Scientist at Autodesk, San Francisco

M.S.
  • Tae-Won Kim (MS, 2009).
    • Thesis title: Implementing and Experimenting with Answer Set Programming Based Event Calculus Reasoner
    • First employment: software engineer at Samsung Mobile, New Jersey
  • Sunjin Kim (MCS, 2010).
    • Project: Socio-Cultural Content in Language
    • First employment: software engineer at Samsung Techwin, Korea
  • Michael Casolary (MS 2011).
    • Thesis title: Representing the Language of the Causal Calculator in Answer Set Programming
    • First employment: software engineer at Celestech
  • Yu Zhang (MCS, 2013).
    • Project: Smart Home
    • First employment: software engineer at Intel, Chandler
  • Joseph Babb (MS, 2014).
    • Thesis title: Towards Efficient Online Reasoning about Actions
    • Supportd by NSF REU and FURI while an undergraduate. SMART scholarship recipient
    • First employment: electronics engineer at US Air Force 76h SMXG (Software Maintenance Group), Tinker Air Force Base, Oklahoma
  • Manjula Malaiarasan. (MCS, 2016).
    • Project: Smart Home Scheduling
    • First employment: Apttus, San Matero, CA
  • Zhun Yang (MS, 2017).
    • hesis title: On the Relationships Among Probabilistic Extensions of Answer Set Semantics
    • Continuing as a PhD student in the lab
  • Nikhil Loney (MS, 2017).
    • Thesis title: Representing Hybrid Transition Systems in Action Language Modulo ODE
    • First employment: 4C Insights, Chicago, IL
  • Samidh Talsania (MS, 2017).
    • Thesis title: Computing Probabilistic Answer Set Programming Language using Answer Set Solvers and Markov Logic Solvers"
    • First employment: Audible.com, Newark, NY
  • Anish Pradhan (MS, 2018).
    • Thesis title: Explainable Fact Checking by Combining Automated Rule Discovery with Probabilistic Answer Set Programming
    • First employment: Q-Sensei, San Francisco, CA

Others
  • Brandon Gardell. Undergraduate (FURI) student (2016 - )
  • Tyler Scott. High school intern (Summer, 2014).
  • Jaswant Pakki. High school intern (Summer, 2014).
  • Bobae Johnson. High school intern (Summer, 2016).

Past Visitors

  • Dr. Jun Jo. Visiting scholar (2013), Electronics and Telecommunications Research Institute (ETRI), South Korea
  • Mikyong Han. Visiting scholar (2013-2014), Electronics and Telecommunications Research Institute (ETRI), South Korea
  • Dr. Eunchang Choi. Visiting scholar (2013 - 2014), Electronics and Telecommunications Research Institute (ETRI), South Korea
  • Dr. Kyu Hyung Kim (2017 - 2018), Electronics and Telecommunications Research Institute (ETRI), South Korea