Photo

Paul Fodor, Lecturer/Research Assistant Professor

Applied Logic Laboratory

Knowledge Based Systems Laboratory,CEWIT

Computer Science Department

State University of New York at Stony Brook

Stony Brook, New York 11794-4400

Fax: (631) 632-5542

E-mail: pfodor@cs.stonybrook.edu

 

Updated Web site

______________________________________________________________________________________

 

EDUCATION

State University of New York at Stony Brook MSc. 2006, Ph.D. 2011

Ph.D. student Computer Science Department, Research Assistant

Research work, under the guidance of Prof. Michael Kifer, involves developing pioneer applications in the fields of semantic web, web services, databases and logic (Tabling Transaction Logic).

Overall GPA: 3.90/4.00.      Ph.D. thesis.

 

Technical University of Cluj Napoca, Romania September 2002 - July 2003

M.Eng. Computer Science

Specialization: Parallel architectures and algorithms.

Overall grade (GPA and final examination): 10.00 (on a scale from 1 to 10).

 

Technical University of Cluj Napoca, Romania September 1997 - September 2002

B.Eng. Computer Science (Diplomat Engineer)

Final grade for overall exam: 10.00 (on a scale from 1 to 10).

Final senior project was developed at DaimlerChrysler AG, Research Information and Communication Division, Knowledge-based Engineering Department (RIC/EK), Berlin, Germany (between Feb. 2002 and Sept. 2002).

Final grade for project: 10.00 (on a scale from 1 to 10).

 

WORK EXPERIENCE

State University of New York at Stony Brook 2011 - now

Computer Science Department

Stony Brook , NY 11794

Lecturer/Research Assistant Professor

State University of New York at Stony Brook 2004 - 2011

Computer Science Department

Stony Brook, NY 11794

Graduate Assistant, Research Assistant

.         Research work under the supervision of Prof. Michael Kifer in the fields of logic programming, semantic Web and active databases.


IBM TJ Watson Research May 2007 - July 2008

Unstructured Information Management Department

Hawthorne, NY 10532

Summer intern and part-time

.         Developed question answering applications.

 

IBM TJ Watson Research May 2006 - September 2006

Human Language Technologies Department

Yorktown Heights, NY 10598

Summer intern

.         Developed dialog management applications and standards.

 

IBM TJ Watson Research May 2005 - September 2005

Human Language Technologies Department

Yorktown Heights, NY 10598

Summer intern

.         Developed voice applications with Web services and intelligent semantic dialog manager standards.


appliedE Inc. June 2004 - August 2004

Long Island High Technology Incubator

Software developer and programmer

.         Developed a Web Personalized Search - web search based on the personal profile information of the previous browsed pages.

 

State University of New York at Stony Brook August 2003 - May 2004

Computer Science Department

Stony Brook, NY 11794

Graduate Teaching Assistant

.         Teaching assistant for the courses: "Principles of Database Systems" with Professor Michael Kifer and "Data Communication and Networks" with Associate Professor Hussein Badr - Outstanding TA for 2003-2004.

 

Technical University of Cluj Napoca, Romania September 2002 - July 2003

Computer Science Department (http://www.cs.utcluj.ro)

28, Gh. Baritiu St., 400027, Cluj-Napoca, ROMANIA

Graduate Teaching Assistant

.         Teaching assistant for the courses: "Artificial Intelligence" with Professor Ioan Alfred Letia, "Parallel Algorithms" with Associate Professor Rodica Potolea, "Computer Architecture and Digital Design" with Associate Professor Zoltan Baruch.

 

Daimler Chrysler AG February 2002- September 2003

Research Information and Communication Division

Knowledge-based Engineering Department (RIC/EK)

Alt-Moabit 96a, D-10559 Berlin, Germany

Research Application Developer - Extended internship for Senior Project

.         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-base editor that provides an extensible architecture for the creation of customized knowledge-based applications) using Java and SOAP technology. The RCS is based on variable elimination, exploits the low-density property and is used for challenging model-based applications in engineering, such as diagnosis, configuration and interactive decision-support systems. Beside consistency checking and solving, the RCS is also able to compute (minimal) conflicts and explanations.

.         Implemented and tested real electronic diagnosis problems like modeling of constraint programming of Ohm's law, Kirchoff's laws as well as academic problems like N queens problem, map coloring problem, solving linear equations and inequations on RCS.

Ported the electronic scheme for the air-conditioned system for Airbus from MDS (Smalltalk) to RCS, and constructed the models in RCS for circuit diagnose and for failure analysis.

 

Technical University of Cluj-Napoca, Romania September 2001 - January 2002

Developer and programmer

.         Worked in TEMPUS project CONED Virtual University - a web based learning environment where students and teachers interact on-line (virtual courses, virtual classes and virtual blackboards). Developed using HTML, JSP, JDBC, Apache Web Server, and Microsoft SQL Server (for Professor Ioan Salomie).

 

Industria Sarmei Campia-Turzii Company September 2002 - June 2003

Laminoristilor 145, Campia Turzii, CJ 405100, Romania

Summer intern, Programmer

.         Developed an economic application for financial services and human resources for automating processing of employees (employee personal accounts, employee benefits and paychecks).

 

PROJECTS AND PAPERS

.         Fodor, Paul, "Dialog Management for Decision Processes", accepted, 3rd Language & Technology Conference: Human Language Technologies as a Challenge for Computer Science and Linguistics (LTC'07) (http://www.ltc.amu.edu.pl), Poland, 2007 (pdf: ltc-124-Fodor.pdf).

.         Fodor, Paul, "Portlet wrappers using Javascript", accepted, IADIS International Conference WWW/Internet 2007 (http://www.internet-conf.org), Portugal, 2007, (pdf: IADIS1.pdf).

.         Fodor, Paul, Statement paper accepted in Young Researchers' Roundtable on Spoken Dialog Systems (YRRSDS) 2007 (collocated with ACL ISCA SIGdial and Interspeech 2007). Url: http://www.yrrsds.org. Proposals: methods to integrate semantic information (e.g. Extended WordNet) in dialog management, statistical methods to generate dialog systems using decision trees, an online database and a search engine for dialog workflows and dialog management services, Antwerp, Belgium, 2007, (pdf: YRRSDS07.pdf).

.         Fodor, Paul, Huerta, Juan, "Planning and logic programming for dialog management", IEEE/ACL 2006 Workshop on Spoken Language Technology (url: http://www.slt2006.org), Aruba, 2006, (pdf: Link to ieeexplore).

.         M.Sc. project: "A comparative view of parallel systems and algorithms" - a survey of parallel computing, and applications, included parallel computing models, principles of scalable performance, hardware technologies, parallel and scalable architectures, parallel program development and environments (relevant programs with performance measurement and comparison in MPI and PVM). Main application: parallel image processing on IBM xSeries with MPICH. At Technical University of Cluj Napoca, June 2003.

.         B.Sc. graduation project: "Design and Implementation for Arrays, Records, and Sets for Constraint Solving" - embedded relational constraint solver in Protege-2000, DaimlerChrysler AG, August 2002.

.         Bioinformatics project: "Generating (DNA and Protein) Motifs from Profile Matrices" (work with Prof. Steve Skiena), State University of New York, December 2004, Web site.

.         Web Services Voice Interaction Broker with Dynamic Dialog Management: a Dialog Container and Component Proxy Approach, Paul Fodor (Stony Brook University); Juan M. Huerta, PhD (IBM TJ Watson Research), honorable conference award at Greater Philadelphia Databases/Information Retrieval Day, October 28, 2005.

.         Contribution to book chapter: "Programming in Prolog" (chapter 15 - Red-black trees), at Technical University of Cluj-Napoca, Romania, December 2002.

.         Paper: "Study of 3D image formats in databases (proposal for extending Oracle Spatial and Oracle Locator)", Technical University of Cluj Napoca, May 2003.

.         Paper: Fodor, Paul, Mauss, Jakob: "DTD for XML-based communication with the Relational Constraint Solver", DaimlerChrysler RIC/EK internal (Berlin), August 2002.

.         Paper: Mauss, Jakob, Fodor, Paul: 'Finite Sets for Constraint Solving', DaimlerChrysler RIC/EK internal (Berlin), August 2002.

.         Image Processing Project: "Obstacles and cars detection" in main project: Autonomous driving - project for Volkswagen AG and Computer Science Department, Technical University of Cluj-Napoca.

.         Designed and implemented an object-relational database system for storing information about cinemas and movies using the object-relational features of Oracle and Exist XML database (under Professor Michael Kifer), State University of New York, September-December 2004.

.         Implemented a complete compiler for a high level language (subset of Java language) using JavaCC (under Assistant Professor Radu Grosu), State University of New York, Spring 2004.

.         Implemented Aggregate TCP Congestion Control Using Multiple Network Probing - the implementation of the protocol was based on Centralized TCP stack to improve the performance of short-lived TCP connections by congestion state sharing, i.e. utilizing congestion window information from recent connections going to same subnets (under Assoc. Professor Tzi-cker Chiueh), State University of New York, December 2003.

.         Created troll and crocodile 3D range images using Scanalyze (a system for aligning and merging range data) and VripPack (Volumetric Range Image Processing Package) and a converter for 3D dense polygon meshes using an optimized algorithm (heuristic: migrate from epsilon close points in 2D space to 3D triangle meshes), State University of New York, December 2003.

.         Enhanced the performance of SPLASH-2 algorithms (in particular Raytrace) on SGI machines using C and assembler optimizations (under Professor Larry D. Wittie), State University of New York, November 2003.

.         Implemented a multi-agent negotiation protocol for an auction website using OAA (Open Agent Architecture), Technical University of Cluj Napoca, 2003.

.         Designed in VHDL and implemented in Xilinx FPGA device of a memory hierarchy and cache memory controller, Technical University of Cluj Napoca, 2002.

.         Worked on the distant learning software CONED (project using J2EE technology - Servlets, JSPs, Javabeans, stored procedures, SQL, on an Apache tomcat web application server and Microsoft SQL Database Server), Technical University of Cluj Napoca, 2002.

.         Implemented a rule engines' benchmarking Open Rule Bench : http://rulebench.projects.semwebcentral.org/ , Stony Brook University, 2008, (documentation: OpenRuleBench manual , RuleBench Report ).

.         Implemented a Prolog string library and regular string expressions: ./spellChecker/string.P , Stony Brook University, 2008.

.         Implemented an interface to WordNet for Drools from an SQL database (MySQL): wordnet_sql_drools , Stony Brook University, 2008.

.         Participated in the ISWC08 Ontoprise contest http://smwforum.ontoprise.com/smwforum/index.php/Win_Prizes . My submission: OntopriseIswc08Submission.html , Stony Brook University, 2008.

.         Developed a Flora2 (F-logic) to OWL bidirectional translator: flora2owl.zip and a translator for OWL in XSB Prolog: owl2rules.zip , Stony Brook University, 2008.

.          Paul Fodor, Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques. AAAI 2008: 1800-1801.

.          Paul Fodor, Optimizations and Extensions for the Horn Transaction Logic Programs. AAAI 2008: 1849-1850.

.          Paul Fodor, Existentially Quantified Values for Queries and Updates of Facts in Transaction Logic Programs. AAAI 2008: 1798-1799.

.          Paul Fodor, Michael Kifer, Querying Sequential and Concurrent Horn Transaction Logic Programs. DB/IR Day 2008 (http://dbirday.cs.columbia.edu/spring08/posters.php ).

.          Senlin Liang, Paul Fodor, Hui Wan, Michael Kifer. OpenRuleBench: An Analysis of the Performance of Rule Engines. WWW 2009.

.          Contributing to the SILK project (Semantic Inferencing on Large Knowledge) SILK webpage, 2008-2009.

.          Hui Wan, Benjamin Grosof, Michael Kifer, Paul Fodor, Senlin Liang. Logic Programming with Defaults and Argumentation Theories. ICLP 2009, Pasadena, California, July 14-17, 2009.

.          Paul Fodor, Research Summary: Tabled Evaluation for Transaction Logic Programs. In ICLP2009, Pasadena, California, July 14-17, 2009.

.          Paul Fodor, Jutification for Tabled Transaction Logic, to appear in AAAI Spring Symposium 2009, Intelligent Event Processing Symposia.

.          Darko Anicic, Paul Fodor, Roland Stuhmer, Nenad Stojanovic. Etalis System: Complex event processing with transaction logic eventsTR/ and http://code.google.com/p/etalis (demos: Etalis demo 1 and Etalis documentation mirror at Stony Brook), 2009-2010.

.          Paul Fodor, New York Subway Schedule Data in Prolog, RDF and SQL for MySQL new_york_subway_data, 2010.

.          Diptikalyan Saha, Paul Fodor. Explicit parallelization of logic programs using low-level threading primitives, unpublished paper, 2009 (we modified XSB to collect/merge all answer tables for a query from multiple children threads without involving copying: mXSB.tgz).

.          Darko Anicic, Paul Fodor, Roland Stuhmer, Nenad Stojanovic. An Approach for Data-driven Logic-based Complex Event Processing. In DEBS (3rd ACM International Conference on Distributed Event-Based Systems) 2009, Nashville, TN, USA, July 6-9, 2009.

.          Darko Anicic, Paul Fodor, Roland Stuhmer, Nenad Stojanovic. Computing Complex Events in an Event-driven and Logic-based Approach. System demo in DEBS 2009, Nashville, TN, USA, July 6-9, 2009.

.          Paul Fodor, Diptikalyan Saha, A MapReduce technique for Tabled Prolog parallelism (draft) mapReduce_Prolog/, 2009.

.         Implemented transitive closure in Prolog without the dynamic database: reachWithoutDD.html , Stony Brook University, 2007.

.         Implemented the forward Viterbi algorithm in Java Viterbi.java and Prolog viterbi.P . The Viterbi algorithm computes the probability of a sequence of observed events and the most likely sequence of hidden states (the Viterbi path) that result in the sequence of observed events. Stony Brook University, 2007.

.         Implemented a spelling corrector in Prolog: spellChecker , Stony Brook University, 2007.

.         Implemented a complete mobile bank system using J2EE technology (Servlets, JSPs, and Java beans) and J2ME, Technical University of Cluj Napoca, 2002.

.         Implemented management tool for parallel algorithm applications with jPVM (Java interface to use the PVM), Technical University of Cluj Napoca, 2001.

.         Implemented in assembly language a program for encoding access to the file system for protection and security, Technical University of Cluj Napoca, 2001.

.         Nachos operating system project - implemented threads, multiprogramming and virtual memory, Technical University of Cluj Napoca, 2001.

.         Developed a JAVA multi-threaded client/server Internet chat application based on TCP sockets, object serialization and JAVA Swing extension, which supports user authentication, private messages and file transfers, Technical University of Cluj Napoca, 2000.

.         Implemented an HTML structure analyzer using lex and yacc, Technical University of Cluj Napoca, 2000.

.         Implemented translator between Romanian and English languages considering grammar rules and an abstract sentence tree (natural language processing using Prolog), Technical University of Cluj-Napoca, 1999.

.         Implemented a general fractal application in C (Sierpinski Triangle, Koch Snowflake, Mandelbrot Set fractals), Technical University of Cluj Napoca, 1998.

.         Implemented Labyrinth Mice Cheese Game (both Algorithm and Animation) , Technical University of Cluj Napoca, 1998.

 

HONORS

.         Outstanding Teaching Assistant, State University of New York at Stony Brook for academic year Fall 2003 - Spring 2004.

.         Honorable conference award at Greater Philadelphia Databases/Information Retrieval Day, October 28, 2005.

.         Graduate Fellowship, State University of New York at Stony Brook for Fall 2003 and Spring 2004.

.         Technical University of Cluj-Napoca Graduate Merit Scholarship Fall 2002, Spring 2003.

.         Technical University of Cluj-Napoca Undergraduate Merit Scholarship Fall 1997, Spring 1998, Fall 1998, Spring 1999, Fall 1999, Spring 2000, Fall 2000, Spring 2001, Fall 2001, Spring 2002.

.         Distinguished in many national high school contests in mathematics, physics and informatics.

 

SKILLS

.         Programming Languages: Shell Scripting, Java, C, C++, Visual C++, Turbo Pascal, Borland JBuilder.

.         Java Proficiency: JDBC-ODBC, GUI development in SWING and AWT, J2EE, JavaBeans, JSP, Servlets, RMI, EJB.

.         Web related proficiency: HTML, XML, DTD, XMLSchema, DOM, SAX, CSS, SOAP, Apache Web Server, Macromedia Dreamweaver.

.         Software design: Rational Rose 2000, Together Developer, CVS.

.         Databases: SQL (Oracle, Sybase, Microsoft Access, DB2), Query Optimization, XML databases (Exists), Visual FoxPro.

.         Graphics: Open GL (3D Graphics), Renderman (Pixar).

.         Logic and functional Languages: Prolog, Lisp, Rufl, ML.

.         Operating Systems Proficiency: Windows 95/98/2000/NT/XP, Unix Operating Systems (Fedora2, Red Hat Linux 7.1-9.0, FreeBSD 5.0, Sun Solaris 8-9).

.         Languages: fluent in English and Romanian with working knowledge of French, German, and Hungarian.

 

RESEARCH INTERESTS

.         Semantic web, web services, logic, databases, artificial intelligence, multi-agent systems, computer communications and networking, computational biology, computer graphics, image processing, security, algorithms.

 

CURRENT RESEARCH

.         CTR-S (Semantic Web Services): The aim of the project is to extend Concurrent Transaction Logic (CTR) to capture the dynamic aspects of contracting for services (automated contracting of services and process modeling).

.         Logic-based Web Services Automatic Negotiation and Composition - the goal is to apply logic and game theory for negotiation and planning in business to business integration and deployment for making complete business process automation within and between enterprises (which requires no human intervention).

.         Voice applications with Web services and intelligent semantic dialog manager standards.

 

GRADUATE COURSES

.         Computer Architecture Link

.         Computer Graphics Link

.         Fundament of Computer Networks Link

.         Compiler Design Link

.         Logic in Computer Science Link

.         Theory of Computation Link

.         Seminar in Artificial Intelligence Link

.         Computing with Logic Link

.         Theory of Database Systems Link

.         Computational Biology Link

.         System Security Link

.         Dissertation Research on Campus Link


EXTRACURRICULAR ACTIVITIES

.         Member of IEEE, ACM.

.         2005 - 2006 - Vice-president Graduate Student Organization, Stony Brook University.

.         2004 - 2005 - President of Computer Science Graduate Student Council, Computer Science Department SUNY at Stony Brook (faculty advisor Computer Science Department chair: Prof. Ari Kaufman).

.         2004 - 2005 - Representative in the Faculty Student Association Financial Committee for Graduate Student Organization, Stony Brook University.l

.         2004 - 2005 - Treasurer for CARA, Stony Brook University (staff advisor: Kari Vanalstine).

.         2004 - 2005 - Member in Stony Brook Ballroom Dance Club.

.         Member in the Outdoor Club Stony Brook University.


         Trivia: My Erdos number is 5 (Fodor->Kifer->Arenas->Spinrad->West->Erdos); other paths exists for 5 (Fodor->Studer->Schmitt->Cherlin->Shelah->Erdos) and (Fodor->Rudolph->Hitzler->Zhang->Canfield->Erdos), or 6 (Paul Fodor(coauthored with)->Juan Huerta->T. V. Raman->Mukkai S. Krishnamoorthy->Joseph E. Flaherty->David C. Arney->Paul Erdos) (to be updated :-).

Photography: cameras and lenses presentation


Last updated: August 8, 2011