Joshua Eckroth

PhD student majoring in Artificial Intelligence, minoring in Cognitive Science and Mathematical Logic, at The Ohio State University, Department of Computer Science and Engineering.

My major advisors are Dr. John R. Josephson and Prof. B. Chandrasekaran.

My minor advisors are Prof. Neil Tennant (Cognitive Science) and Prof. Harvey Friedman (Mathematical Logic).

Research Interests

My research interests include non-monotonic reasoning, functional languages, and philosophy of mind. My thesis work focuses mainly on evaluating a variety of abductive reasoning strategies acting as "truth seeking" strategies that try to make sense of properties of simulated worlds.

Selected Publications

J. Eckroth. “Abductive Metareasoning for Truth-Seeking Agents.” AAAI-2012/SIGART Doctoral Consortium. (In press)

J. Eckroth, L. Dong, R. G. Smith, B. G. Buchanan. “NewsFinder: Automating an AI News Service.” AI Magazine. (In press)

J. Eckroth, D. Reddy, J. Josephson, R. Chellappa, T. Miller. “From background subtraction to threat detection in automated video surveillance.” ARL CTA Report. 2009 (PDF)

J. Josephson, J. Eckroth, T. Miller. “Estimation of adversarial social networks by fusion of information from a wide range of sources.” 12th International Conference on Information Fusion, pp 2144-2152. Seattle, Washington, July 6-9, 2009 (PDF, IEEE)

J. Eckroth, R. Aytche, G.-A. Amoussou. “Toward a science of design for software-intensive systems.” DESRIST 2007 Proceedings, pp 39-53. Pasadena, California, May 13-15, 2007 (PDF)

J. Eckroth, G.-A. Amoussou. “Improving software quality from the requirements specification.” Proceedings of the 2007 Symposium on Science of Design, pp 38-39. Arcata, California, 2007 (PDF, ACM Portal)

Teaching experience

I have taught CSE 630, 230, 202, and 201.

At Humboldt State University, my alma mater, I co-taught the undergraduate capstone Software Engineering course.

The lecture notes, homeworks, etc. for CSE 630 (introduction to artificial intelligence, part 1) are available at http://cse630.artifice.cc

The lecture notes, homeworks, etc. for CSE 230 (introduction to C++, part 2) are available at http://cse230.artifice.cc

The lecture notes, homeworks, etc. for CSE 202 (introduction to C++, part 1) are available as well.

Awards

New I am one of ten recepients of the 2012 Graduate Associate Teaching Award (GATA), a university-wide award.

I was also the 2011-2012 recepient of the Eleanor Quinlan Memorial Award (Teaching award) from the Computer Science and Engineering Department.

I was the Computing Sciences Department Student of the Year 2008, at Humboldt State University.

Classes

Artificial Intelligence: Neural Networks (CSE 779); Brain Theory and Neural Networks (CSE 788); Knowledge-Based Systems (CSE 731); Human Interaction with Intelligent Systems (ISE 773); Survey of Artificial Intelligence II: Advanced Topics (CSE 730)
Cognitive Science: Proseminar in Cognitive Science (CSE 737); Introduction to Cognitive Science (CSE 612); Semantics I (LING 683.01); Pragmatics Working Group (LING 795.14); Phonetic Theory (LING 600.01); Analogy and Relational Reasoning: Data and Models (PSYCH 811); Cognitive Engineering (ISE 770); The Epistemic Role of Consciousness (PHIL 860)
Mathematical Logic: Individual studies (Math 693); Advanced Mathematical Logic 2 and 3 (Math 746 and 747)
Computer Science: Computer Architecture (CSE 775); Theory of Computation (CSE 725); Programming Languages (CSE 755); Operating Systems (CSE 760); Analysis of Algorithms (CSE 780)
Teaching and leadership development: Instructional theory (EDUPL 869); College Teaching in Engineering (FABENG 810); Leading in Engineering Organizations (ENG 694)