Elena's web page

  Elena Machkasova
  Instructor in Science Laboratory
   Computer Science Department
   Wellseley College.

New address, etc.

As many of you know, I will be teaching at University of Minnesota, Morris, beginning this Fall (2003). My e-mail in Morris is elenam@mrs.umn.edu. We are very excited to be moving to Minnesota! If you happen to be in the neighborhood, please come and visit!

Education

1989: M.S. in Applied Mathematics, Moscow Oil and Gas Institute
2002: Ph.D in Computer Science, Boston University

Job search materials

CV in PS and PDF formats.
Teaching statement in PS and PDF.
Research statement in PS and PDF.

Research

My research is in semantics of programming languages. I am a member of the Church project, a Boston-based research group on foundations, design principles and implementation techniques of programming languages and related systems. The project is named after Alonzo Church, the inventor of the lambda-calculus. My work focuses on proving meaning preservation of program optimizations, in particular of cross-module transformations.
My interests also include e-commerce, computer security and Java Web technologies. Some of this material was included in the class Introduction to E-commerce.

Papers and talks

PDF slides from my talk "Computational Soundness of Non-Confluent Calculi" at NEPLS (New England Programming Languages and Systems Symposium Series) in October 2002.
My Ph.D dissertation "Computational Soundness of Non-Confluent Calculi with Applications to Modules and Linking", April 2002, Boston University: PS and PDF.
Elena Machkasova and Franklyn A. Turbak "A Computationally Sound Call-by-value Module Calculus", Technical report, Boston University, work in progress: PS and PDF.
Elena Machkasova and Franklyn A. Turbak "A calculus for link-time compilation". In Programming Languages & Systems, 9th European Symp. Programming, volume 1782 of LNCS, pages 260-274 Springer-Verlag, 2000: PDF.

Teaching

This semester (Fall 2002) I am teaching laboratory sections for the following courses:

Previous semesters:

CS349 Introduction to E-commerce (Spring 2002). The documentation page of this course has plenty of useful links on Java programming, SQL, Java web techonology, and E-commerce in general, see also online lecture notes.

Contact info

Office: SCI E127
Phone: (781) 283-3172
e-mail: emachkas@wellesley.edu

Postal address:

Elena Machkasova
Computer Science Department
Wellesley College
Wellesley, MA 02481 USA