PAUL FODOR
misc/figures/image003.jpg
Lecturer/Research Assistant Professor
1437 Computer Science Department, Stony Brook University, Stony Brook, NY 11794, USA
Email: pfodor@cs.stonybrook.edu
Ph.D. 2011, Stony Brook University
Phone: (631) 632-9820
Fax: (631) 632-5542
Office hours (Fall 2014): Wednesdays and Fridays 9:00AM-10:30AM and by appointment

Teaching
  1. CSE 114 Computer Science 1 (Introduction to procedural and object-oriented programming; 2011-2014): http://www.cs.stonybrook.edu/~cse114
  2. CSE 215 Foundations of Computer Science (Discrete math: logic, mathematical induction, sequences, sets, relations and functions; 2011-2014): http://www.cs.stonybrook.edu/~cse215
  3. CSE 219 Computer Science 3 (Systematic program design, coding, and testing; Fall 2013): http://www.cs.stonybrook.edu/~cse219
  4. CSE 307 Principles of Programming Languages (Spring 2013): http://www.cs.stonybrook.edu/~cse307
  5. CSE 371 Logic (Fall 2012): http://www.cs.stonybrook.edu/~cse371
  6. CSE 392 Computers playing Jeopardy! (Fall 2011): http://www.cs.stonybrook.edu/~cse392
  7. CSE 532 Database Systems (graduate course) (Spring 2012): http://www.cs.stonybrook.edu/~cse532
  8. CSE 645 Programming Languages (graduate seminar) (2011-2013): http://www.cs.stonybrook.edu/~cse645
  9. HON 111 Honors Course on Natural Language Processing, the Honors College (2012-2013): http://www.cs.stonybrook.edu/~pfodor/courses/hon111.html
  10. ITS 102 Information Technology Studies course, Computers playing Jeopardy! (2012-2014): http://www.cs.stonybrook.edu/~pfodor/courses/its102.html

Research grants:
  1. SILK language (http://silk.semwebcentral.org), Vulcan Inc., 2012 and 2013, PI.
  2. Knowledge acquisition, representation and management, XSB Inc. (http://www.xsb.com) and DARPA, 2012, PI.
  3. Knowledge representation, Stony Brook Cancer Center, Department of Surgery, 2013 and 2014, CoPI with Prof. IV Ramakrishnan.
  4. Knowledge representation and data mining, CA Inc. and CDDA (http://www.dynamicdataanalytics.org), 2013 and 2014, CoPI with Prof. Michael Kifer.

Research: Conference Publications and Presentations
  1. Paul Fodor, Michael Kifer, Transaction Logic with Defaults and Argumentation Theories. In the 27thInternational Conference on Logic Programming (ICLP), Lexington, Kentucky, USA, July 2011. http://www.cs.uky.edu/iclp2011
  2. Darko Anicic, Sebastian Rudolph, Paul Fodor and Nenad Stojanovic, Retractable Complex Event Processing and Stream Reasoning. In the RuleML International Symposium on Rules, Barcelona, Spain, July 2011. http://www.2011.ruleml.org
  3. Darko Anicic, Sebastian Rudolph, Paul Fodor and Nenad Stojanovic, A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams. In the RuleML International Symposium on Rules, Barcelona, Spain, July 2011. http://www.2011.ruleml.org
  4. Darko Anicic, Paul Fodor, Sebastian Rudolph, Nenad Stojanovic, EP-SPARQL: A Unified Language for Event Processing and Stream Reasoning. In the 20thInternational World Wide Web Conference (WWW), Hyderabad, India, March-April 2011. http://www.www2011india.com
  5. Paul Fodor, Darko Anicic, Sebastian Rudolph, Results on Out-of-Order Event Processing. In the Proceedings of the International Symposium on Practical Aspects of Declarative Languages (PADL), Austin, Texas, USA, January 2011. http://www.dcc.fc.up.pt/PADL-2011
  6. Darko Anicic, Paul Fodor, Sebastian Rudolph, R Stüehmer, Nenad Stojanovic, Rudi Studer, A Rule-Based Language for Complex Event Processing and Reasoning. In the Proceedings of the International Conference on Web Reasoning and Rule Systems (RR), Bressanone/Brixen, Italy, September 2010 (shortlisted for the Best Paper Award). http://www.rr-conference.org/RR2010
  7. Paul Fodor, Michael Kifer, Tabling for Transaction Logic. In the Proceedings of the 12thInternational ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP), Hagenberg, Austria, July 2010. http://www.risc.jku.at/about/conferences/ppdp2010
  8. Paul Fodor, Darko Anicic, Sebastian Rudolph, Roland Stüehmer, Nenad Stojanovic and Rudi Studer, Processing out-of-order event streams in ETALIS. In the ACM International Conference on Distributed Event-Based Systems (DEBS), fast abstract, Cambridge, United Kingdom, July 2010.
  9. Darko Anicic, Paul Fodor, Roland Stüehmer and Nenad Stojanovic, Event-driven Approach for Logic-based Complex Event Processing. In the Proceedings of the IEEE International Conference on Computational Science and Engineering (CSE), Vancouver, Canada, August 2009.
  10. Paul Fodor, Research Summary: Tabled Evaluation for Transaction Logic Programs, In the Proceedings of the 25th International Conference on Logic Programming (ICLP), Doctoral Consortium, Pasadena, USA, July 2009.
  11. Hui Wan, Benjamin Grosof, Michael Kifer, Paul Fodor and Senlin Liang, Logic Programming with Defaults and Argumentation Theories, In the Proceedings of the 25th International Conference on Logic Programming (ICLP), pp. 432-448, Pasadena, USA, July 2009.
  12. Darko Anicic, Paul Fodor, Roland Stüehmer and Nenad Stojanovic, An Approach for Data-driven and Logic-based Complex Event Processing. In the ACM International Conference on Distributed Event-Based Systems (DEBS), poster, Nashville, TN, USA, July 2009.
  13. Darko Anicic, Paul Fodor, Roland Stüehmer and Nenad Stojanovic, Computing Complex Events in an Event-driven and Logic-based Approach. In the ACM International Conference on Distributed Event-Based Systems (DEBS), demo, Nashville, TN, USA, July 2009.
  14. Senlin Liang, Paul Fodor, Hui Wan and Michael Kifer, OpenRuleBench: An Analysis of the Performance of Rule Engines. In the Proceedings of the 18th International World Wide Web Conference (WWW), pp. 601-610, Madrid, Spain, April 2009. Home page: http://rulebench.projects.semwebcentral.org. Version 1.0 download: openrulebench_1.zip (in case the CVS repository is out of order).
  15. Paul Fodor, Justification for Tabled Transaction Logic. In the Proceedings of the Association for the Advancement of Artificial Intelligence (AAAI) Spring Intelligent Event Processing Symposia, Palo Alto, CA, USA, March 2009.
  16. Paul Fodor, Existentially Quantified Values for Queries and Updates of Facts in Transaction Logic Programs. In the Proceedings of the Association for the Advancement of Artificial Intelligence (AAAI), abstract, Chicago, USA, 2008.
  17. Paul Fodor, Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques. In the Proceedings of the Association for the Advancement of Artificial Intelligence (AAAI), abstract, Chicago, USA, 2008.
  18. Paul Fodor, Optimizations and Extensions for the Horn Transaction Logic Programs. In the Proceedings of the Association for the Advancement of Artificial Intelligence (AAAI), doctoral consortium, Chicago, USA, 2008.
  19. Paul Fodor, Michael Kifer, Sequential Horn Transaction Logic Tabling. In the Spring Databases and information retrieval day (DB/IR), poster, Columbia University, NYC, USA, April 2008.
  20. Paul Fodor, Portlet Wrappers using Javascript. In the Proceedings of the IADIS International Conference WWW/Internet, Portugal, July 2007.
  21. Paul Fodor, Dialog Management for Decision Processes. In the Proceedings of the Language and Technology Conference: Human Language Technologies as a Challenge for Computer Science and Linguistics (LTC07), Poznan, Poland, October 2007.
  22. Paul Fodor, Juan Huerta, Planning and Logic Programming for Dialog Management. In the Proceedings of the IEEE/ACL 2006 Workshop on Spoken Language Technology (STL 06), Aruba, December 2006.
  23. Paul Fodor, Juan Huerta, Web Services Voice Interaction Broker with Dynamic Dialog Management: a Dialog Container and Component Proxy Approach. In the Greater Philadelphia Databases/Information Retrieval Day, University of Pennsylvania, Philadelphia, USA, October 2005 (awarded).

Reports, Journal Publications and Book Chapters
  1. Adam Lally, John Prager, Michael McCord, Branimir Boguraev, Siddharth Patwardhan, James Fan, Paul Fodor and Jennifer Chu-Carroll, Question Analysis: How Watson Reads a Clue. IBM Journal of Research and Development, 2012.
  2. Paul Fodor, Senlin Liang and Michael Kifer, The OpenRuleBench Benchmarks for Semantic Web Rule Engines Rerun Report for 2011. http://rulebench.projects.semwebcentral.org
  3. Darko Anicic, Paul Fodor, Sebastian Rudolph, Roland Stüehmer, Nenad Stojanovic and Rudi Studer, ETALIS: Rule-Based Reasoning in Event Processing. In Reasoning in Event-based Distributed Systems, Studies in Computational Intelligence series (Editors: Sven Helmer, Alex Poulovassilis, and Fatos Xhafa), Springer Verlag, LNCS, 2010.
  4. Paul Fodor, Michael Kifer, Senlin Liang and Hui Wan, The OpenRuleBench Benchmarks for Semantic Web Rule Engines Report for 2010. http://semwebcentral.org/docman/view.php/158/78/report_2010_.pdf
  5. Senlin Liang, Paul Fodor, Michael Kifer and Hui Wan, The OpenRuleBench Complete Report 2009. http://semwebcentral.org/docman/view.php/158/69/report.pdf.
Other Manuscripts
  1. Adam Lally, Paul Fodor, Natural Language Processing With Prolog in the IBM Watson System. The Association for Logic Programming (ALP) Newsletter, March 2011.
  2. Paul Fodor, Practical Reasoning with Transaction Logic Programming for Knowledge Base Dynamics. Ph.D. thesis, Stony Brook University, Stony Brook, New York, USA, 2011.
  3. Paul Fodor, Darko Anicic, Sebastian Rudolph, Jia Ding, Ahmed Hafsi, Roland Stüehmer, The ETALIS System Manual, 2010. Available online: http://code.google.com/p/etalis/downloads/detail?name=manual.pdf and http://www.cs.stonybrook.edu/pfodor/misc/etalis_manual. Code available online: http://code.google.com/p/etalis.
  4. Diptikalyan Saha, Paul Fodor, A simple and efficient explicit parallelization of logic programs using low-level threading primitives, 2009. Available online: http://arxiv.org/abs/0912.3510 Code available online: http://www.cs.stonybrook.edu/pfodor/misc/mxsb.
  5. Paul Fodor, Adam Lally, David Ferrucci, The Prolog Interface to the Unstructured Information Management Architecture, 2008. Available online: http://arxiv.org/abs/0809.0680
  6. Paul Fodor, Initial Results on the F-logic to OWL Bi-directional Translation on a Tabled Prolog Engine, 2007. Report available online: http://arxiv.org/abs/0808.1721. Code available online: http://www.cs.stonybrook.edu/pfodor/misc/flogic_owl.
  7. Paul Fodor, Flexible Audio Streams and Automatic Annotation of XHTML Pages with Audio Components, DB/IR Day, Fall 2007.
  8. Joy Dutta, Paul Fodor, A Systematic Approach to Web-Application Development, 2006. Report available online: http://arxiv.org/pdf/cs/0703080.
  9. Joy Dutta, Paul Fodor, Generating (DNA and Protein) Motifs from Profile Matrices, (work under the advisement of Prof. Steven Skiena) 2005 (presented at GRC, Stony Brook, 2005). Code and report available online: http://www.cs.stonybrook.edu/pfodor/misc/motifs.
Development and Contributions to Large Software Projects
  1. Semantic Inferencing on Large Knowledge (SILK): http://silk.semwebcentral.org.
    A multi-institution project sponsored by Vulcan Inc. (http://www.vulcan.com) aiming to provide key knowledge representation infrastructure for global, widely-authored, very large knowledge bases in business and science.
  2. OpenRuleBench: http://rulebench.projects.semwebcentral.org.
    A suite of benchmarks for analyzing the performance and scalability of rule engines for the Semantic Web.
  3. Event Transaction Logic Inference System (ETALIS): http://code.google.com/p/etalis.
    An open source event processing system implemented in Prolog. It is a declarative rule-based language for event processing with various event composition operators, sliding windows, event aggregation, alarms, out-of-order event detection, sharing and so on.
  4. Unstructured Information Management Architecture (UIMA) - Prolog Bi-directional Translator and Prolog Annotators.
    UIMA (http://domino.research.ibm.com/comm/research_projects.nsf/pages/uima.index.html) is an industrial-strength, scalable and extensible platform for creating, integrating and deploying unstructured information management systems. Its Prolog module allows complete translations of UIMA data structures into Prolog programs and development of UIMA annotators in Prolog. The module was used in the IBM Watson system that played on the Jeopardy! TV quiz show.
  5. An optimized interpreter for Tabled Transaction Logic and a performance evaluation suite. Available on the Flora2 Web site: http://flora.sourceforge.net/tr-interpreter-suite.tar.gz
Invited Lectures
  1. Ontoprise, Karlsruhe, Germany, October 2008.
    "OpenRuleBench Benchmarks for Semantic Web Rule Engines".
  2. University of Southern California, Viterbi School of Engineering, Los Angeles, CA, December. 2010.
  3. IBM Research Almaden, San Jose, CA, January 2011.
  4. Siemens Research, Princeton, NJ, February 2011.
  5. GE Global Research, Niskayuna, NY, February 2011.
  6. IBM TJ Watson Research, Hawthorne, NY, April 2011.
    "Practical Reasoning with Transaction Logic Programming for Knowledge Base Dynamics".
Research Interest
My research encompasses several areas:

Education
Ph.D. in Computer Department of Computer Science, Stony Brook University,
Science Stony Brook, N.Y., USA (2011)
Dissertation : Practical Reasoning with Transaction Logic Programming for Knowledge Base Dynamics (tabling, the well-founded semantics for TR, defaults and defeasibility, and logic-based complex event processing) .
Adviser : Professor Michael Kifer
M.Sc. in Computer Department of Computer Science, Stony Brook University,
Science Stony Brook, N.Y., USA (May 2006)
Survey of Web Services Automatic Negotiation.
Overall GPA: 3.90/4.00
Adviser : Professor Michael Kifer
M.Eng. in Computer Department of Computer Science, Technical University of Cluj-Napoca,
Science Cluj-Napoca, Romania (June 2003).
Thesis: A comparative view of parallel systems and algorithms.
Overall GPA: 10/10.
Adviser : Professor Rodica Potolea
B.Eng. Department of Computer Science, Technical University of Cluj-Napoca,
(Diplomat Engineer) Cluj-Napoca, Romania (September 2002).
in Computer Science Thesis: Design and Implementation for Arrays, Records, and Sets for Constraint Solving (developed at DaimlerChrysler AG, Research Information and Communication Division, Knowledge-based Engineering Department(RIC/EK), Berlin, Germany, advisers: Dr. Mugur Tatar and Dr. Jakob Mauss).
Overall GPA: 9.28/10.
Work Experience
Stony Brook University, Computer Science Department, Stony Brook, N.Y., USA. (2011 - now).
Lecturer/Research Assistant Professor.
Stony Brook University, Computer Science Department, Stony Brook, N.Y., USA. (2005 - 2011).
Research Assistant with Professor Michael Kifer.
IBM TJ Watson Research, The Unstructured Information Management Department, Hawthorne, N.Y. USA. (May 2007 - July 2008).
Intern and developer in the team that built the IBM Watson system that played on the Jeopardy! TV quiz show.
IBM TJ Watson Research, Human Language Technologies Department, Yorktown Heights, N.Y., USA. (May - September 2006).
Intern.
IBM TJ Watson Research, Human Language Technologies Department, Yorktown Heights, N.Y., USA. (May - September 2005).
Intern.
appliedE Inc., Long Island High Technology Incubator, Stony Brook, N.Y., USA (June - August 2004).
Software developer and programmer.
Stony Brook University, Computer Science Department, Stony Brook, N.Y., USA (September 2003 - May 2005).
Teaching Assistant and Graduate Assistant.
Technical University of Cluj-Napoca, Computer Science Department, Cluj-Napoca, Romania (October 2002 - June 2003).
Graduate Teaching Assistant.
Daimler Chrysler AG, Research Information and Communication Division, Knowledge-based Engineering Department, Berlin, Germany (February - September 2002).
Research Application Developer - Extended internship for senior project and thesis.
Services and Professional Recognition
Auxiliary Reviewer for Conferences:
  1. International Symposium on Practical Aspects of Declarative Languages (PODS), 2008.
  2. The Association for Computational Linguistics (ACL Anthology) International Conference on Computational Linguistics (COLING), 2006.
Program committees:
  1. Program committee, RuleML (at IJCAI), 2011.
  2. Program committee, ICLP Doctorial Consortium, 2012.
  3. Program committee, RuleML, 2013.
  4. Co-chair, RuleML, 2014.

Professional memberships: the ACM Special Interest Group on Computer Science Education (SIGCSE), the Association of Logic Programming (ALP), the Event Processing Technical Society (EPTS).

My old web page: http://www.cs.stonybrook.edu/~pfodor/old_page