Elena's web page
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 firstname.lastname@example.org. We are very excited to be moving to Minnesota! If you happen to be in the neighborhood, please come and visit!
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.
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
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
- 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
This semester (Fall 2002) I am teaching laboratory sections for the following courses:
Office: SCI E127
Phone: (781) 283-3172
Computer Science Department
Wellesley, MA 02481 USA