Dina Q Goldin - Curriculam Vitae

Curriculum Vitae
Dina Q Goldin

Mathematics and Computer Science
University of Massachusetts, Boston
Boston, MA 02125-3313
(617) 287-6444, (617) 287-6499 (fax)

45 Bencliffe Circle
Newton, MA 02466

(617) 332-0748

EMAIL:
dqg@cs.umb.edu
URL: http://www.cs.umb.edu/~dqg

EDUCATION

Ph.D.	Computer Science	Brown University, May 1997
M.S.	Computer Science	Brown University, May 1987
B.S.	Math. & Computer Science	Yale College, May 1985

RESEARCH AND TECHNICAL INTERESTS Prof. Goldin's current work is in the (not-so-related) areas of models of interactive computation and constraint database algebras. General topics of interest are computing paradigms, languages for programming and querying, algorithms, and computer-aided design (CAD).

ACADEMIC POSITIONS

1996-present: Assistant Professor.
Department of Mathematics and Computer Science, UMass-Boston, Boston, MA

9/85-5/87, 9/92-8/96: Research and Teaching Assistant.
Department of Computer Science, Brown University, Providence, RI.

6/87-7/88: Research Fellow.
IBM Scientific Center, Haifa, Israel.

INDUSTRIAL POSITIONS

5/95-8/96: Consultant, Q Technology, Newton, MA.
Consulting to the Biomedical industry on software and algorithms for time-series data analysis.

12/92-1/93: Consultant, Cleyal, Jerusalem, Israel.
Designed and implemented an interpreter for the company's new proprietary script language.

8/88-9/92: Senior Software Engineer, Parametric Technology Corp., Waltham, MA.
Key member of the core development team for Pro/Engineer, current leader in CAD systems.

1/85-12/85: Consultant, IBM, Cambridge, MA.
Consulted for Benoit Mandelbrot, then visiting at Harvard University.

BOOK CHAPTERS

Dina Goldin, David Keil, Peter Wegner
An Interactive Viewpoint on the Role of UML
Book chapter in "Unified Modeling Language: Systems Analysis, Design, and Development Issues",
Editors: Keng Siau, Terry Halpin, Microsoft Corporation,
Idea Group Publishing (accepted for publication)

Goldin, D.Q.
Algebraic Constraint Query Languages
Book chapter in "Constraint Databases", Eds. L. Libkin, J. Paredaens, G. Kuper,
Springer Verlag, 2000.

JOURNAL PUBLICATIONS

Wegner, P., Goldin, D.Q.
Interaction, Computability, and Church's Thesis
Accepted to the British Computer Journal.

Goldin, D.Q., Kanellakis, P.C.
Constraint Query Algebras
Constraints Journal , E. Freuder editor, 1st issue, 1996.

CONFERENCE ABSTRACTS

Dina Goldin, Srinath Srinivasa, Bernhard Thalheim
Information Systems = Databases + Interaction: Towards Principles of Information System Design
ER2000, Salt Lake City, Oct. 2000.

Goldin, D.Q.
Persistent Turing Machines as a Model of Interactive Computation
FoIKS'00, Feb. 2000, Cottbus, Germany.

Wegner, P., Goldin, D.Q.
Interaction as a Framework for Modeling
In Chen, et. al. (Eds.) Conceptual Modeling: Current Issues and Future Directions,
LNCS #1565, April '99.

Wegner, P., Goldin, D.Q.
Coinductive Models of Finite Computing Agents
Electronic Notes in Theoretical Computer Science, March 1999.

Chomicki, J., Goldin, D.Q., Kuper, G.
Variable Independence and Aggregation Closure
15th ACM Symposium on the Principles of Database Systems, Montreal Canada, June 1996.

Goldin, D.Q., Kanellakis, P.C.
On Similarity Queries for Time-Series Data: Constraint Specification and Implementation
1st International Conference on the Principles and Practice of Constraint Programming,
LNCS 976, pp. 137-153, Cassis France, September 1995.

Kanellakis, P.C., Goldin, D.Q.
Constraint Programming and Database Query Languages
Symposium on Theoretical Aspects of Computer Software,
LNCS 789, pp. 96-120, Sendai Japan, April 1994.

D. Bernstein, D. Goldin, M.C. Golumbic, H. Krawczyk, I. Mansour, I. Nahshon, R.Y. Pinter
Spill Code Minimization Techniques for Optimizing Compilers
ACM SIGPLAN Conference on Programming Language Design and Implementation, 1989, pp. 258-263.

SELECTED OTHER WORK

Dina Goldin, Scott Smolka, Peter Wegner
Turing Machines, Transition Systems, and Interaction
UMB CS Technical Report 00-7, October 2000
(in review as a conference submission)

Jan Chomicki, Dina Goldin, Gabriel Kuper, and David Toman
Variable Independence in Constraint Databases
(in review as a journal submission)

Jalal Atik, Dina Goldin
UMB-CDB: an Experimental Constraint Database Platform for Spatiotemporal Applications
(demo submission to a conference)

Kanellakis, P.C., Goldin, Dina Q
Constraint Programming and Database Query Languages
Invited paper, Symposium on Theoretical Aspects of Computer Software
LNCS 789, pp. 96-120, Sendai Japan, April 1994
(also Brown University Technical Report CS-94-31)

GRANTS

PI, NSF CAREER grant #IRI-9733678,
Towards Practical Constraint Query Algebras,
May 1, 1998 - Apr. 30, 2002 (http://www.cs.umb.edu/~dqg/cdb ).

INVITED PRESENTATIONS

Constraint Databases: a lecture in honor of Paris C. Kanellakis

2nd International Conference on the Principles and Practice of Constraint Programming, Cambridge, Cambridge MA, Aug. 1996.

Formalization of Interactive Computing

SUNY Stoneybrook, May 2000;
Technion University, Nov. 1999;
Brown University, Dec. 1998;
Tel-Aviv University, Jan. 1999;
IBM Haifa Research Center, Jan. 1999.

Modeling Interaction with Persistent Turing Machines

U. Wurzburg, Germany, Jun. 1999.

Mathematical Models of Interactive Computing

UMBC, November 1998.

OTHER PROFESSIONAL ACTIVITY

Invited as an observer, IFIP WG 2.2, Rennes France, May 2001
Nominated as a CSAB program evaluator, January 2000
NSF Panel member for grant proposal review: Oct. 2000, Feb. 1999
Tutorial Speaker, ECOOP'99, June 1999, Lisbon, Portugal.
Member, Information Management Panel of CC-2001 (ACM/IEEE-CS Joint Curriculum Task Force).
Program Committee Member, VLDB'99.
Registration Co-ordinator, ACM Strategic Directions Workshop, Cambridge, MA (6/96).
Reviewer, ACM Computing Surveys 1998, SIGGRAPH'93, CP'93, ACM PODS'95, ICDT'97, ACM PODS'97, CP'97, ICDE'99, TCS'00, VLDB Journal ('00), Information Processing Letters ('00), CEC'01.
Webmaster, Math/CS Dept at U.Mass/Boston (www.cs.umb.edu), Jan. 1998 - present
Supervised team of students which placed first in the 4th Annual Undergraduate Data Analysis Contest, fall 1998.

COURSES TAUGHT RECENTLY (within 5 years)

Advanced Databases and Algorithms (adv. undergraduate)
Introduction to Theory of Computing Systems (adv. undergraduate)
Discrete Structures (undergraduate)
Database Models (graduate)
Artificial Intelligence (graduate)
Compilers (graduate)
Topics in Databases and Artificial Intelligence (seminar)
Geographic Information Systems (seminar)
Constraint Database Systems (seminar)

PROFESSIONAL SOCIETIES

ACM, IEEE-CS

SERVICE TO THE COMMUNITY

Founder and editor-in-chief of the Acoustic Neuroma Archive (www.ANarchive.org), an international informational resource for patients with a benign brain tumor known as Acoustic Neuroma.
Board of Directors, T.H.E. Brain Trust, a non-profit organization.

CURRENT ACTIVITIES (Spring 2001)

Teaching cs420, Introduction to Theory of Computing Systems;

Director of UMB-CDB, Constraint Database project sponsored by the NSF CAREER grant, supervising 1 PhD and 1 MS student;

Leading an independent study seminar in Constraint Database Systems;

Honors Thesis supervisor for a CS undergraduate, on autonomous cooperating agents;

Co-chair of the UMB CS Research Support Committee;

Webmaster for the UMB Math/CS department web site;

Member, UMB Science Dean's Committee on Challenges and Opportunities for the Sciences;

Observer, IFIP WG 2.2 (Formal Description of Programming Concepts), France, May 2001;

Program evaluator for the CSAB (national CS accrediation board);

Participant, NSF IDM workshop (Information & Data Management), Dallas, April 2001;

Member, CC-2001 (ACM/IEEE-CS Joint Curriculum Task Force);

Member, UMB CAS Committee on Majors and Honors (since 1998);

Responsible for the UMB Hebrew Language waiver examinations.