|
|
Paul Fodor, PhD Student Applied Logic Laboratory Computer Science Department Stony Telephone: 631-645-5757 E-mail: pfodor at cs dot sunysb dot edu
|
______________________________________________________________________________________
OBJECTIVE
Live in a challenging environment where my analytical
and computing skills are put to the best possible use.
EDUCATION
State University of New
York
Ph.D. student Computer
Science Department
Research work, under the guidance of Prof. Michael Kifer, involves
developing pioneer applications in the fields of semantic web, web services,
databases and logic (Web Services Automatic Negotiation).
Overall GPA: 3.90/4.00 (cleared the required PhD
qualification exams)
Technical University of Cluj Napoca, Romania
M.Sc. Computer Science
Specialization: Parallel
architectures and algorithms.
Overall grade (GPA and final examination): 10.00 (on a
scale from 1 to 10).
Technical
B.Sc. Computer Science
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).
CERTIFICATIONS
·
Two semesters of
Program
offered by Computer Science Department at Technical University
·
Currently working towards Sun
Certified Java Programmer and Sun
Certified Web Component Developer Exams.
WORK
EXPERIENCE
IBM TJ Watson Research May 2007
- present
Unstructured Information Management Department
Hawthorne , NY
10532
Summer intern
.
Developing
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.
Computer Science Department
Stony Brook ,
NY 11794
Graduate Assistant, Research
Assistant
·
Responsible for
developing a web interface for the graduate studies application – coordinators:
Computer Science Graduate Director Professor Michael Kifer and Associate
Professor R. Sekar.
appliedE Inc. June 2004 – August 2004
Long Island High Technology Incubator
Software developer and
programmer
·
Responsible for
developing a Web Personalized Search – web search based on the personal profile
information of the previous browsed pages.
Computer Science Department
Stony Brook ,
NY 11794
Graduate Teaching Assistant
·
Responsible for
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
Computer Science Department (http://www.cs.utcluj.ro)
28, Gh. Baritiu
St. Cluj-Napoca ,
ROMANIA
Graduate
Teaching Assistant
·
Responsible for
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 Protégé-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
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).
. An OWL translation for WordNet 3 that works with the Protege Ontology editor and knowledge acquisition system: link.
. A Prolog WordNet 3 interface to find lexical chains, cordinate terms, glosses, meronyms, etc.: link.
. 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
Protégé-2000, DaimlerChrysler AG, August 2002.
·
Bioinformatics
project: “Generating (DNA and Protein)
Motifs from Profile Matrices” (under Professor Steve Skiena), State
University of New York, December 2004.
·
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 (
.
Implemented a
spelling correction algorithm in Prolog: spellChecker , Stony Brook University, 2007.
.
Implemented a
complete Prolog system using Java: blueProlog , Stony Brook University, 2007.
.
Fodor, P., Kifer, M., Efficient memoing for Transaction Logic
Poster Link ,
DB/IR Day (http://dbirday.org/), Stony Brook University, Fall 2007. XSB implementation for tabling transaction logic: TR implementation
.
Participated in the ICLP2007 Prolog contest http://www.cs.kuleuven.be/~bmd/PrologProgrammingContests/2007/net2007.html . Our submission: ICLP07NetContest.html , Stony Brook University, 2007.
.
Implemented the transitive closure predicate
in Prolog without the dynamic database:
reachWithoutDD.html ,
Stony Brook University, 2007.
.
Implemented the forward Viterbi algorithm in
Java Viterbi.java and
Prolog viterbi.pl .
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.
·
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
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
.
Posters: posters
.
Presentations: presentations
HONORS
·
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
.
Applied Logic Seminar (organized by Prof. Michael Kifer and Prof. Annie Liu): Link
.
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 6
(Paul Fodor(coauthored with)->Juan Huerta->T. V. Raman->Mukkai S. Krishnamoorthy->Joseph E. Flaherty->David C. Arney->Paul Erdos), to be updated :-).
Last updated: August 8, 2007