PAUL FODOR
Associate Professor of Practice, PhD
Computer Science Undergraduate Program Advisor
Computer Science Accelerated BS and MS Combined Degree Program Coordinator
Address:
New Computer Science Department building, office 214,
Stony Brook University, Stony Brook, NY 11794, USA
Email: pfodor@cs.stonybrook.edu
Phone: (631) 632-9820
Fall 2024 Office Hours: Mondays and Wednesdays 11am-12:30pm on Google Meet only: https://meet.google.com/xyu-jhqc-bdx
Short bio
Teaching
- CSE 114 Computer Science 1 (Introduction to procedural and object-oriented programming; 2011-2024, average class size is 150-300 students):
http://www3.cs.stonybrook.edu/~pfodor/courses/cse114.html and ONLINE section here (Summer 2015 and 2017, 100+ students).
- CSE 160 Computer Science A: Honors (Higher-level, object-oriented approach to the construction of software, Spring 2018-2025):
http://www3.cs.stonybrook.edu/~pfodor/courses/cse160.html.
-
CSE/ISE 215 Foundations of Computer Science (Discrete math: logic, mathematical induction, sequences, sets, relations and functions; 2011-2016):
http://www3.cs.stonybrook.edu/~pfodor/courses/cse215.html and
ONLINE section here: http://www3.cs.stonybrook.edu/~pfodor/courses/summer/cse215.html (Summer 2020, 100 students)
- CSE 219 Computer Science 3 (Systematic program design, coding, and testing; 2013-2015, 3 semesters):
http://www3.cs.stonybrook.edu/~pfodor/courses/cse219.html
- CSE 260 Computer Science B: Honors (data structures and the software development process; Fall 2017-2024):
http://www3.cs.stonybrook.edu/~pfodor/courses/cse260.html
- CSE 300 Technical Communications (Spring 2019, ~30 students).
- CSE 305 Principles of Database Systems (Fall 2016, ~150 students):
http://www3.cs.stonybrook.edu/~pfodor/courses/cse305.html
- CSE 307 Principles of Programming Languages (Spring 2013, Fall 2015, Spring 2016, Spring 2019, Spring 2019):
http://www3.cs.stonybrook.edu/~pfodor/courses/cse307.html and ONLINE section here (Summer 2016, 2018).
- CSE/ISE 312 Legal, Social, and Ethical Issues in Information Systems (Spring 2017):
http://www3.cs.stonybrook.edu/~pfodor/courses/cse312.html
- CSE316 Fundamentals of Software Development (Web programming, information management, software design and development fundamentals) (Fall 2020):
http://www3.cs.stonybrook.edu/~pfodor/courses/cse316.html.
- CSE 371 Logic (Fall 2012):
http://www3.cs.stonybrook.edu/~pfodor/courses/cse371.html
- CSE 392 Computers playing Jeopardy! (Fall 2011):
http://www3.cs.stonybrook.edu/~pfodor/courses/cse392.html
- CSE 505 Computing with Logic (graduate course) (Fall 2015, Fall 2017, Fall 2018):
http://www3.cs.stonybrook.edu/~pfodor/courses/cse505.html
- CSE 532 Database Systems (graduate course) (Spring 2012):
http://www3.cs.stonybrook.edu/~pfodor/courses/cse532.html
- CSE 595 Semantic Web (graduate course) (Spring 2018):
http://www3.cs.stonybrook.edu/~pfodor/courses/cse595.html
- CSE 645 Programming Languages (graduate seminar) (2011-2017, all semesters):
https://sites.google.com/site/sbcslanguageseminar
- HON 111 Honors Course on Natural Language Processing, the Honors College (2012-2014, 4 semesters):
http://www3.cs.stonybrook.edu/~pfodor/courses/hon111.html
- ITS 102 Information Technology Studies course, Computers playing Jeopardy! (2012-2015, 3 semesters):
http://www3.cs.stonybrook.edu/~pfodor/courses/its102.html
Research: Conference Publications and Presentations
- Tiantian Gao, Paul Fodor, Michael Kifer,
Paraconsistency and word puzzles.
In the
32ndInternational Conference on Logic Programming (ICLP),
New York City, USA, October 2016.
- Benjamin N. Grosof, Janine Bloomfield, Paul Fodor, Michael Kifer, Isaac Grosof, Miguel Calejo, Terrance Swift,
Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog.
In the
9thRuleML International Web Rule Symposium Challenge, Berlin, Germany, July 2015.
-
Benjamin N. Grosof, Michael Kifer, Paul Fodor
The Power of Semantic Rules in Rulelog: Fundamentals and
Recent Progress
.
In the
Reasoning Web
,
Berlin, Germany, July 2015.
-
Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang,
and Terrance Swift,
Advanced Knowledge Base Debugging for Rulelog
In the
RuleML 7th International Web Rule
Symposium Challenge
,
Seattle, Washington, USA, July 2013. Won the RuleML 2013 Challenge.
-
Reza Basseda, Paul Fodor, and Steven Greenspan,
A Logical Foundation For Troubleshooting Agents
In the
8
thInternational Conference on Knowledge, Information, and Creativity Support Systems (KICSS)
,
2013.
-
Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang,
and Terrance Swift,
Understanding Rulelog Computations in SILK
In the
23rdWorkshop on Logic-based methods in
Programming Environments (at ICLP)
,
2013.
- 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
-
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
-
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
-
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
-
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
-
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
-
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
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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:
OpenRuleBench.
-
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.
-
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.
-
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.
-
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.
-
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.
-
Paul Fodor,
Portlet Wrappers using Javascript.
In the Proceedings of the
IADIS International Conference WWW/Internet,
Portugal, July 2007.
-
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.
-
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.
-
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
- 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.
-
Paul Fodor, Senlin Liang and Michael Kifer,
The OpenRuleBench Benchmarks for Semantic Web Rule Engines Rerun Report for 2011.
http://rulebench.projects.semwebcentral.org
-
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.
-
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
-
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
- Adam Lally, Paul Fodor,
Natural Language Processing With Prolog in the IBM Watson System.
The Association for Logic Programming (ALP) Newsletter,
March 2011.
-
Paul Fodor,
Practical Reasoning with Transaction Logic Programming for Knowledge Base Dynamics.
Ph.D. thesis,
Stony Brook University, Stony Brook, New York, USA,
2011.
-
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://www3.cs.stonybrook.edu/~pfodor/misc/etalis_manual.
Code available online: http://code.google.com/p/etalis.
-
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://www3.cs.stonybrook.edu/~pfodor/misc/mxsb.
-
Paul Fodor, Adam Lally, David Ferrucci,
The Prolog Interface to the Unstructured Information Management Architecture,
2008.
Available online: http://arxiv.org/abs/0809.0680
-
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://www3.cs.stonybrook.edu/~pfodor/misc/flogic_owl.
-
Paul Fodor,
Flexible Audio Streams and
Automatic Annotation of XHTML Pages with Audio Components,
DB/IR Day, Fall 2007.
-
Joy Dutta, Paul Fodor,
A Systematic Approach to Web-Application Development,
2006.
Report available online: http://arxiv.org/pdf/cs/0703080.
-
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://www3.cs.stonybrook.edu/~pfodor/misc/motifs.
Development and Contributions to Large Software Projects
- ErgoAI:
http://coherentknowledge.com.
The rule-based knowledge representation and reasoning (KRR) system ErgoAI combines reasoning with natural language
processing (NLP), databases and ontology systems. ErgoAI is fully semantic, using general classical-logic-like formulas,
including existentials and universal quantifiers, disjunctions, meta knowledge reasoning, higher-order syntax, flexible defeasibility
and combines closely with NLP to both interpret and generate English, including potentially for conversational
NL interaction. Applications: legal/policy compliance in financial services, health care treatment guidance and insurance,
education/tutoring; security/confidentiality policies; and e-commerce marketing
- 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.
- OpenRuleBench: http://rulebench.projects.semwebcentral.org.
A suite of benchmarks for analyzing the performance and scalability of rule engines for the Semantic Web.
- 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.
- 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.
-
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
Research Interests
My research encompasses several areas:
- Logic programming.
- Active deductive databases.
- Complex event processing. CEP applications: here.
- Benchmarking for rule-based systems.
- Knowledge representation for the Semantic Web.
- Artificial Intelligence.
- Natural language processing. Stony Brook natural language processing toolkit: here.
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 - present).
Associate Professor of Practice (2018-present)
Research Assistant Professor (2011-2018)
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.
- Developed question answering applications, built the UIMA - Prolog
translation and natural language processing annotators for question NLP analysis.
IBM TJ Watson Research, Human Language Technologies Department, Yorktown Heights, N.Y., USA. (May - September 2006).
Intern.
- Developed dialog management applications and standards.
IBM TJ Watson Research, Human Language Technologies Department, Yorktown Heights, N.Y., USA. (May - September 2005).
Intern.
- Developed voice applications with Web services and intelligent semantic dialog manager standards.
appliedE Inc., Long Island High Technology Incubator, Stony Brook, N.Y., USA (June - August 2004).
Software developer and programmer.
- Developed a Web Personalized Search Engine based on the personal profile information and on previous browsed pages.
Stony Brook University, Computer Science Department, Stony Brook, N.Y., USA (September 2003 - May 2005).
Teaching Assistant and Graduate Assistant.
- Responsible for the following courses: Principles of Database Systems with Professor Michael Kifer, and Data Communication and Networks with Associate Professor Hussein Badr.
- Graduate School Application Web site main developer and programmer
(project for the Stony Brook University Division of Information Technologies,
Director: Phil Doesschate).
Technical University of Cluj-Napoca, Computer Science Department, Cluj-Napoca, Romania (October 2002 - June 2003).
Graduate Teaching Assistant.
- Responsible for the following courses: Artificial Intelligence with Professor Ioan Alfred Letia, Parallel Algorithms with Professor Rodica Potolea, and Computer Architecture and Digital Design with Professor Zoltan Baruch.
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.
- Designed the theoretical basis and implemented the high level structures for arrays, records and sets for the Relational Constraint Solver (RCS) embedded in Protege-2000
project (an ontology and a knowledge-based editor that provides an extensible architecture for the creation of customized knowledge-based applications) using Java and SOAP technology.
- Implemented and tested real electronic diagnosis problems for modeling in constraint programming of the Ohms and Kirchoffs laws, as well as academic problems like N queens problem, map coloring problem, solving linear equations on RCS.
- Ported the electronic scheme for the air conditioning system for Airbus from MDS (Smalltalk) to RCS, and constructed the models in RCS for circuit diagnose and for failure analysis.
Services and Professional Recognition
Program committees:
- Program committee, ICLP, 2012-present. Chair of variuos tracks and workshops 2015-present.
- Program committee member, RuleML-RR, 2011-present. General Chair in 2016 and Program Chair in 2019. Chair of various workshops 2011-present.
- Program committee member, SIGCSE, 2013-present.
- Program Committee member in AAAI, IJCAI, PODS, COLING in 2008, 2010, 2015-present.