Paul Fodor, Lecturer/Research Assistant Professor
Computer Science Department
State University of New York at Stony Brook
Fax: (631) 632-5542
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.
M.Eng. Computer Science
Specialization: Parallel architectures and algorithms.
Overall grade (GPA and final examination): 10.00 (on a scale from 1 to 10).
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),
Final grade for project: 10.00 (on a scale from 1 to 10).
Lecturer/Research Assistant Professor
Graduate Assistant, Research Assistant
. Research work under the supervision of Prof. Michael Kifer in the fields of logic programming, semantic Web and active databases.
Summer intern and part-time
appliedE Inc. June 2004 - August 2004
Software developer and programmer
. Developed a Web Personalized Search - web search based on the personal profile information of the previous browsed pages.
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.
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.
. 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.
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
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).
. 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, 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
. 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.
Voice Interaction Broker with Dynamic Dialog Management: a Dialog Container and
Component Proxy Approach, Paul Fodor (
. 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 (
Paper: Mauss, Jakob,
Fodor, Paul: 'Finite Sets for Constraint
Solving', DaimlerChrysler RIC/EK internal (
. 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 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.
. 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.
Labyrinth Mice Cheese Game (both Algorithm and Animation) , Technical
Teaching Assistant, State University of
. Honorable conference award at Greater Philadelphia Databases/Information Retrieval Day, October 28, 2005.
. 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.
. 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.
. Semantic web, web services, logic, databases, artificial intelligence, multi-agent systems, computer communications and networking, computational biology, computer graphics, image processing, security, algorithms.
. 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.
. 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
. 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,
. 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