|
Paul Fodor, PhD., Associate Professor of Practice
New Computer Science 214 Stony Brook University, State University of New York Stony Fax: (631) 632-9820
E-mail: pfodor@cs.stonybrook.edu
|
______________________________________________________________________________________
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).
Technical
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 (2011-2018), Associate Professor of Practice (2018-present)
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
Summer intern
Summer intern
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.
Technical
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.
Technical
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, "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
.
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 (
.
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
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
.
Outstanding
Teaching Assistant, State University of
.
Honorable
conference award at Greater Philadelphia Databases/Information Retrieval Day,
October 28, 2005.
.
Graduate
Fellowship,
.
Technical
.
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,
.
2004 - 2005 -
Member in Stony Brook Ballroom Dance Club.
.
Member in the Outdoor Club Stony Brook University.
Trivia: My Erdos number is 4
(Fodor->Swift->Freire->Spencer->Erdos),
path of 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