David A. Furcy, Ph.D., Associate Professor

Address:  Computer Science Department
University of Wisconsin Oshkosh
800 Algoma Boulevard
Oshkosh, WI 54901-8643
Email:  furcyd AT uwosh DOT edu


If you are interested in logic, the foundations of mathematics, formalism or computability theory, check out my Summer of Gödel blog

Teaching

Fall 2014
  • CS142 Elementary Programming in Visual Basic
  • CS431 Compilers
Past Semesters
  • CS125 Web Site Development: Fall 2010, Spring 2014
  • CS142 Elementary Programming in Visual Basic: Fall 2005 (x2)
  • CS221 Object-Oriented Design and Programming I: Spring 2006 (x2), Fall 2006, Spring 2007 (x2), Fall 2007
  • CS251 Computer Organization and Assembly Language: Fall 2010, Spring 2011, Fall 2012
  • CS262 Object-Oriented Design and Programming II: Spring 2009
  • CS271 Data Structures: Fall 2007, Fall 2008
  • CS300 Artificial Intelligence: Fall 2009
  • CS310 Computer Organization and Design: Fall 2011, Spring 2013
  • CS321 File Structures: Fall 2005, Fall 2006, Fall 2007, Fall 2008
  • CS331 Programming Languages: Spring 2007, Spring 2008, Spring 2009, Spring 2010
  • CS381 Introduction to the Theory of Computing: Fall 2006, Spring 2008, Fall 2009, Spring 2011, Fall 2012, Spring 2014
  • CS399/490 Internship/Practicum: Spring 2008, Spring 2011, Fall 2011, Spring 2012, Fall 2012, Spring 2013, Fall 2013, Spring 2014
  • CS421 Operating Systems: Spring 2010
  • CS431 Compilers: Fall 2008, Fall 2009, Fall 2010, Fall 2011, Fall 2013
  • CS480 Topics in Computer Science: Heuristic Search: Spring 2006
  • MATH212 Mathematics for Computer Science: Spring 2012, Spring 2013

Professional Experience

June 2013 - present
Co-Chair
University of Wisconsin Oshkosh , Department of Computer Science , Oshkosh, WI

Fall 2011 - present
Associate Professor
University of Wisconsin Oshkosh , Department of Computer Science , Oshkosh, WI

Fall 2005 - 2011
Assistant Professor
University of Wisconsin Oshkosh , Department of Computer Science , Oshkosh, WI

Spring 2005
Interim Professor (one-semester sabbatical replacement)
Blackburn College , Department of Mathematics and Computer Science , Carlinville, IL

Curriculum Vitae


Main Research Interests


Projects


Affiliations


Journal Articles, Magazine Articles, and Book Chapters

  • (with D. Penniston) Congruences for ℓ-Regular Partition Functions Modulo 3 ; Ramanujan Journal; Vol. 27 (1); p. 101-108; January 2012; DOI 10.1007/s11139-011-9312-3

  • (with A. Felner , R. Holte , R. Meshulam, and J. Newton ) Maximizing over Multiple Pattern Databases Speeds up Heuristic Search ; Artificial Intelligence; Vol. 170 (16-17); p. 1123-1136; November 2006

  • (with S. Koenig , M. Likhachev , and Y. Liu ) Incremental Heuristic Search in AI; Artificial Intelligence Magazine ; Vol. 25 (2); p. 99-112; Summer 2004
    [bibtex ]
     
  • (with S. Koenig and M. Likhachev ) Lifelong Planning A*; Artificial Intelligence; Vol. 155 (1-2); p. 93-146; May 2004
    [bibtex ]
     
  • (with S. Koenig ) STRIPS, In L. Nadel (Ed.), Encyclopedia of Cognitive Science; London: Macmillan; December 2002
     

Conference and Workshop Articles

  • (with K. Barth, S. Summers and P. Totzke) Scaled tree fractals do not strictly self-assemble; O.H. Ibarra et al. (Eds); UCNC 2014, LNCS 8553, pp. 27-39, 2014; DOI: 10.1007/978-3-319-08123-6_3
     
  • (with C. Jenkins and A. Voss) An Effective Educational Module for Booth's Multiplication Algorithm; Published in: Journal of Computing Sciences in Colleges, Vol. 27(4), pages 54-62, April 2012
     
  • (with G. Thomas) Designing Effective Heterogeneous Teams for Multiagent Routing Domains; International Conference on Intelligent Agent Technology (IAT); p. 341-348; 2011
     
  • (with M. Corliss, J. Davis, and L. Pietraszek) Bantam Java Compiler Project: Experiences and Extensions; Accepted at CCSC:NE-2010
     
  • JHAVEPOP: Visualizing Linked-List Operations in C++ and Java; Accepted at CCSC:MW-2009; Published in: Journal of Computing Sciences in Colleges, Vol. 25(1), pages 32-41, October 2009
     
  • (with T. Naps, and Jason Wentworth) Sorting Out Sorting - The Sequel; Accepted at ITiCSE-08
     
  • (with S. Grissom, M. McNally, T. Naps, and C. Trefftz) Supporting the Rapid Development of Pedagogically Effective Algorithm Visualizations; Accepted at CCSC:MW-2007
     
  • (with A. Jungwirth and T. Naps) BlockTree: Pedagogical Information Visualization for Heuristic Search; Accepted at FLAIRS-2007
     
  • ITSA*: Iterative Tunneling Search with A*; AAAI Workshop on Heuristic Search, Memory-Based Heuristics and Their Applications; p. 21-26; 2006
    [pdf]
     
  • (with S. Koenig) Limited discrepancy Beam Search; Nineteenth International Joint Conference on Artificial Intelligence (IJCAI); p. 125-131; 2005
     
  • (with S. Koenig) Scaling up WA* with Commitment and Diversity; Nineteenth International Joint Conference on Artificial Intelligence (IJCAI); p. 1521-1522; 2005
     
  • (with A. Felner , R. Holte , R. Meshulam, and J. Newton ) Multiple Pattern Databases ; 14th International Conference on Automated Planning & Scheduling (ICAPS); p. 122-131; 2004 (runner-up for Best Paper Award)
    [ps ][pdf ][bibtex]
     
  • (with S. Koenig and Y. Liu ) Speeding up the Calculation of Heuristics for Heuristic Search-Based Planning ; National Conference on Artificial Intelligence (AAAI); p. 484-491; 2002
    [ps ] [pdf ] [bibtex ]
     
  • (with C. Bauer and S. Koenig ) Heuristic Search-Based Replanning ; International Conference on Artificial Intelligence Planning & Scheduling (AIPS); p. 310-317; 2002
    [ps ] [pdf ] [bibtex ]
     
  • (with S. Koenig ) Combining Two Fast-Learning Real-Time Search Algorithms Yields Even Faster Learning ; European Conference on Planning (ECP); 2001
    [ps ] [pdf ] [bibtex ]
     
  • (with S. Koenig ) Speeding up the Convergence of Real-Time Search ; National Conference on Artificial Intelligence (AAAI); p. 891-897; 2000
    [ps ] [pdf ] [bibtex ]
     

Edited Proceedings

  • D. Furcy, S. Koenig, W. Ruml and R. Zhou (editors), Proceedings of the AAAI-08 Workshop on Search in Artificial Intelligence and Robotics, AAAI Press (WS-08-10), 2008.

Conference Reports

  • R. Bunescu, V. Carvalho, J. Chomicki, V. Conitzer, M. Cox, V. Dignum, Z. Dodds, M. Dredze, D. Furcy, E. Gabrilovich, M. Göker, H. Guesgen, H. Hirsh, D. Jannach, U. Junker, W. Ketter, A. Kobsa, S. Koenig, T. Lau, L. Lewis, E. Matson, T. Metzler, R. Mihalcea, B. Mobasher, J. Pineau, P. Poupart, A. Raja, W. Ruml, N. Sadeh, G. Shani, D. Shapiro, S. Singh, M. Taylor, K. Wagstaff, T. Smith, W. Walsh, and R. Zhou, AAAI 2008 Workshop Reports, Artificial Intelligence Magazine, Volume 30(1), pages 108-118, 2009.

Technical Reports and Theses

  • Limited Discrepancy Beam Search; Technical Report GIT-COGSCI-2004/02; College of Computing, Georgia Institute of Technology, Atlanta; May 2004
     
  • Scaling up Weighted A* with Commitment and Diversity; Technical Report GIT-COGSCI-2004/01; College of Computing, Georgia Institute of Technology, Atlanta; May 2004
     
  • eFALCONS: Speeding up the Convergence of Real-Time Search Even More; Technical Report GIT-COGSCI-2001/04; College of Computing, Georgia Institute of Technology, Atlanta; July 2001
     
  • (with S. Koenig Speeding up the Convergence of Real-Time Search: Empirical Setup and Proofs ; Technical Report GIT-COGSCI-2000/01; College of Computing, Georgia Institute of Technology, Atlanta; March 2000
  • [ps ] [ pdf ]
     
  • Formal description of and experiments with Knuth-Bendix-based theorem proving in Otter; M.S. thesis; Computer Science Department , University of Iowa ; July 1997
     
  • Suivi de systêmes dynamiques à partir de scénarios temporels. Application au suivi d'une flotte de taxis-robots (in French); Mémoire de DEA (M.S. thesis); Heudiasyc , Université de Technologie de Compiègne ; September 1994