Arthur Bernstein

Rank/Position Title:

Professor, Emeritus

Home Page:

http://www.cs.sunysb.edu/~art

Date of original appointment to this faculty, followed by dates and ranks of advancement:

Originally appointed 1/70, Associate Professor, promoted to Full Professor

Degrees:

Conferences, workshops, and professional development:

Other related computing experience:

• Assistant Professor, Dept of EE, Princeton Univ, 1962 – 1965
• Research Scientist, General Electric Research and Development Center 1965 - 1970
• Lecturer, ACM Professional Development Seminars
• Distinguished Visitor, IEEE Computer Society

Department, college, and/or university committee membership:

• Department Chairman, 1984 - 1986
• Graduate Program co-director, 1995 - 12/2003
• Chair, CEAS Personnel Policy Committee, 1996 - 2002
• Director of Undergraduate Program, 1972 - 1978

Principal publications of the last five years.

• Lewis, P., Bernstein, A., and Kifer, M., "Databases and Transaction Processing Systems", Addison Wesley, 2002
• Kifer, M, Bernstein, A. and Lewis, P., "Database Systems", Addison Wesley, 2004
• A. Bernstein, D. Gerstl and P. Lewis, ``Concurrency Control for Step-Decomposed Transactions'', Information System, vol. 24, Nov. 8, 1999.
• S. Lu, A. Bernstein and P.Lewis, ``Correct Execution of Transactions at Different Isolation Levels'', IEEE Transactions on Knowledge and Data Engineering, to appear.
• Z. Duan, A. Bernstein, P. Lewis and S. Lu, ``Semantics Based
• Verification and Synthesis of BPEL4WS Abstract Processes'', Int'l Conf. on Web Services, 2004, San Diego, CA.

Other scholarly activity: grants, sabbaticals, software development, etc.:

• Visiting Professor, Ben Gurion University, Beersheva, Israel, 1983 short course on concurrent systems.
• Visiting Professor, Technion, Haifa Israel 1976 courses on operating systems.
• Visiting Professor, Univ California at Santa Barbara, 1992
• Associate Editor, SIAM Journal on Computing, 1972 - 1977

Scientific, professional, and honor societies of which you are a member:

• Fellow, IEEE
• Member of the ACM

Honors and awards:

Award for the best paper published in the IEEE Trans on Computers for the year 1975.

Courses taught this and last academic year term-by-term

Academic advising:

1 PhD, 4 MS students

Brief description of major research and scholarly activities:

My students and I are developing a system for the automatic analysis and synthesis of workflows based on Web Services and the language BPEL