| Contact Info | Summary | Education | Additional Certificates | Research | Professional Experience |

| Publications and Presentations | Conferences | Technical Skills | Languages |

Office phone | 1(519) 661-4297 |

elena$orcca,on,ca | |

Web page: | http://www.orcca.on.ca/MathML/elena.html |

Research in the area of pen-based computing, mathematical data communication, symbolic computation, multilevel and multivalued logic, automatic reasoning, design of automatic theorem provers. Solid background in Computer Science, Mathematics, Logic and Artificial Intelligence. Software developer with extensive experience in system programming and object-oriented approach. Current work in the domain of mathematical data format conversions, pen-based mathematics and frameworks for mathematical web services.

top
**Ph.D. in Computer Science** (awarded December 2002)

The University Paris-12 Val de Marne

Faculty of Science and Technology

Department of Mathematics and Informatics

**Ph.D. in Mathematics and Physics** (awarded December 2002)

Saint-Petersburg State University

Faculty of Mathematics and Mechanics

Department of Computer Science

**Dissertation title**: Development and implementation of algorithms for uncertain
data processing in multivalued logics

**Master's degree in Computer Science and Mathematics** (awarded July 1997)

Saint-Petersburg University

Faculty of Mathematics and Mechanics

Department of Computer Science

**Certificates of Achievement of the Microsoft Approved Course**:

"2072: Administering a Microsoft SQL Server 2000 Database",

January 2001. Microsoft Technical Education Center.

** Certificates of Achievement of the Microsoft Approved Course**:

"2153: Implementing a Microsoft Windows 2000 Network Infrastructures",

March 2001. Microsoft Technical Education Center.

** Certificates of Achievement of the Microsoft Approved Course**:

"2152: Supporting Microsoft Windows 2000 Professional and Server",

September 2001. Microsoft Technical Education Center.

** Certificates of Achievement of the Microsoft Approved Course**:

"Programming a Microsoft SQL Server 2000 Database",

June 2001. Microsoft Technical Education Center.

- Applications for pen-based mathematics, mathematical handwriting recognition and algebraic rearrangement of 2D expressions
- Mathematical Format Conversion and Mathematical Notation Selection Tools
- Mathematics on the NET (MONET). Development and maintaining of distributed mathematical web services
- Artificial Intelligence
- Data processing in multivalued logic and algorithms for derivation in multilevel logics
- Design and implementation of automatic theorem provers for classical and multivalued logics

*2003 - present*

Postdoctoral Fellow, the University of Western Ontario, Department of Computer Science,
Ontario Research Centre for Computer Algebra.

Specializing in software development for mathematical communications: frameworks for mathematical web services

and in software development for portable pen-based mathematical applications.

*2001 - 2002*

Research Associate, the University of Western Ontario, Department of Computer Science,
Ontario Research Centre for Computer Algebra.

Specialized in software development for mathematical communications:
mathematical format conversions.

*2000 - 2001*

1) Assistant Professor, the Department of Informatics, Faculty of Mathematics and Mechanics, Saint-Petersburg State University.

Taught mathematics and informatics. Conducted research in multilevel logics and A.I.

2) Full-time Lecturer in computer science, Department of Mathematics, Faculty of Science,
The State Marine Technical University of St. Petersburg.

*1999 - 2000*

Head of the Information Analysis Department, Russian-Swiss Information Bureau.

Developed and managed information databases. Designed and implemented the official
Russian-Swiss Information Web Server.

- E. Smirnova. Development and Implementation of Algorithms for Uncertain Data
Processing in Multivalued Logics. Ph.D. Dissertation. University of Paris-XII Val
de Marne, 2002, 163 pages (in French + Russian).

- E. Smirnova. Algorithms for Propositional Inference in Multilevel Logics. M.Sc. Thesis.
St. Petersburg State University, 1997, 67 pages (in Russian).

- Elena Smrirnova, Stephen M. Watt. Generating TeX from Mathematical Content with Respect To Notations,
in:
*Proc. International Conference on Digital Typography & Electronic Publishing: Localization & Internationalization, (TUG 2006)*, November 9-11 2006, Marakesh, Morocco, pp. 96-105. Full paper

- Elena Smrirnova, Stephen M. Watt. Notation Selection in Mathematical Computing Environments,
in:
*Proceedings of Transgressive Computing 2006: A conference in honor or Jean Della Dora , (TC 2006),*April 24-26 2006, Granada Spain, pp. 339-355. Full paper

- Mike Dewar, Elena Smirnova and Stephen M. Watt. XML in Mathematical Web Services,
in:
*Proceedings of XML 2005 Conference -- Syntax to Semantics, (XML 2005),*November 14-18 2005, Atlanta USA, 25 pages. Full paper

- Elena Smirnova and Stephen M. Watt. A Context for Pen-Based Computing,
in:
*Book of proceedings Maple Conference 2005,*July 17-21 2005, Waterloo Canada, Maplesoft, pages 409-422. Full paper

- Clare M. So, Elena Smirnova, Stephen M. Watt. An Architecture for
Distributed Mathematical Web Services, in:
*Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (Eds.): Mathematical Knowledge Management, Third International Conference, MKM 2004/LNCS 3119*Springer-Verlag, 2004. pages 363-377

- E. Smirnova, Clare M. So, S.M. Watt.
Providing mathematical Web Services Using Maple in the MONET Architecture,
MONET Workshop University of Bath, 16-17 March 2004,
http://monet.nag.co.uk/cocoon/monet/proceedings/MONET-UWO.pdf

- E. Smirnova, S.M. Watt. MathML to TeX Conversion: Conserving high-level semantics,
in: MathML International Conference, June, 2002, Chicago, conference presentation
materials,
http://www.mathmlconference.org/2002/presentations/smirnova

- E. Smirnova. Using Symbolic Computation in an Automated Sequent Derivation
System for Multi-valued Logic, in:
*J. Calmet, B. Benhamou, O. Caprotti, L. Henocque, V.Sorge (Eds.): Artificial Intelligence, Automated Reasoning, and Symbolic Computation Joint International Conference, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002.*Proceedings LNAI 2385, Springer-Verlag, pages 64 - 75.

- E. Smirnova. Automatic theorem provers. Design and realization, in:
*Materials of 5th International conference "Computer Science. Education"*, Astrakhan, Russia, 2000, pages 23-34 (in Russian).

- E. Smirnova, N. Kossovski.
An algorithm for solvability testing of linear inequalities systems of special types,
in:
*Materials of 4th symposium for young scientists on discrete mathematics and its application*, Moscow, Russia, 2000, pages 74 - 81 (in Russian).

- N. Kossovski, E. Smirnova. System of automatic proof in multivalued and classical
logic, in:
*Materials of the 7th International conference "Regional Informatics-2000", RI-2000*, St. Petersburg, Russia, 2001, pages 109 - 112 (in Russian).

- E. Smirnova. Development of automatic theorem prover for classical and multilevel
logic, in:
*Materials of the All-Russian scientific conference "Informatics and Information Technologies in Education"*, St. Petersburg, Russia, 2001, (in Russian)

- Elena Smirnova and Stephen Watt, "Survey on methods for Mathematical Expression Analysis in Arabic Handwriting",
University of Western Ontario, Research Report TR-06-4, 2006, 6 pages.

- Elena Smirnova and Stephen Watt, "An Interface for Mathematical Notation Selection",
University of Western Ontario, Research Report TR-05-11, 2005, 13 pages.
[PDF, 790KB]

- Elena Smirnova and Stephen M. Watt. "Mathematics On the NET", Final Project Report for
CA:MONET Project, CANARIE E-content Program, 2004, 25 pages.

- Elena Smirnova, Stephen M. Watt. "Symbolic Solver Services.
Wrapper Tools Release Candidate." Technical Report for
MONET Project: Public Deliverable 23, The MONET Consortium (IST-2001-34145), 2004,
61 pages.

- Walter Barbera-Medina, Elena Smirnova, Clare M. So and
Stephen M. Watt. "Symbolic Service Release Candidate", Technical Report for
MONET Project: Public Deliverable 21, The MONET Consortium (IST-2001-34145), 2004,
35 pages.

- Marc Aird, Walter Barbera-Medina, Elena Smirnova. "Symbolic Service Initial Beta Version (update)", Technical Report for
MONET Project: Public Deliverable 15, The MONET Consortium (IST-2001-34145), 2003,
35 pages.

- Elena Smirnova, Yannis Chicha, Nick Taylor. "Broker Initial Beta Version", Technical Report for
MONET Project: Public Deliverable 8, The MONET Consortium (IST-2001-34145), 2004,
15 pages.

- E. Smirnova, S.M. Watt. "Developing Mathematical Web Services based on Computer algebra systems",
Extended abstract,
*The 10th International Conference on Applications of Computer Algebra (ACA 2004),*Beaumont, Texas, USA, 2004.

- E. Smirnova, S.M. Watt. An Approach to Mathematical Notation Selection,
Extended abstract,
*Second North American Workshop on Mathematical Knowledge Management*, Phoenix, Arizona, 2004, http://imps.mcmaster.ca/na-mkm-2004/abstracts/smirnova-watt.pdf

- D. Beauquier, N. Kossovski, E. Smirnova. An Algorithm For Solvability Testing
Of Elementary Linear Inequalities Systems, in:
*Abstracts of 6th IMACS International Conference On Applications Of Computer Algebra, IMACS ACA,*St. Petersburg, Russia, 2000, pages 59 - 61.

- N. Kossovski, E. Smirnova. Presentation of the computer system for automatic proof
construction, in:
*Abstracts of reports for the 7th International conference "Regional I nformatics-2000"*, RI-2000, St. Petersburg, Russia, 2000. page 10 (in Russian).

- Elena Smirnova, Stephen Watt. Framework For Pen-Based Mathematical Applications,
*The Mathematics of Information Technology and Complex Systems (MITACS),*6th Annual Conference, May 2005, University of Calgary, Calgary AB, Canada. Poster Abstracts, page 27.

- E. Smirnova, S.M. Watt.
Using Computer Algebra Systems In The Development of Mathematical Web Services,
*East Coast Computer Algebra Day 2004 (ECCAD)*, May 2004, Wilfrid Laurier University, Waterloo ON, Canada, http://www.cargo.wlu.ca/e-ECCAD2004/main.pdf, page 12.

- Elena Smirnova, Stephen Watt, "MathML - LaTeX conversion with conserving high-level
semantics in translation",
*Internet Accessible Mathematical Computation Workshop (IAMC) within the International Symposium on Symbolic and Algebraic Computation (ISSAC)*, Lille, France, 2002.

Participated in over 30 scientific conferences and workshops, including

- The 10th International Conference on Applications of Computer Algebra (ACA 2004),
Beaumont, Texas, USA, 2004
*Presented talk "Developing Mathematical Web Services based on Computer algebra systems"*. - Internet Accessible Mathematical Computation
a Workshop at ISSAC 2004, University of Cantabria, Santander Spain, 2004.
*Presented software "Framework for Symbolic Mathematical Web Services"*. - Second North American Workshop on Mathematical Knowledge Management (MKM),
Phoenix, Arizona, USA, 2004.

*Presented software "Mathematical Notation Selection Tool"* - Joint International Conference Artificial Intelligence, Automated Reasoning, and Symbolic Computation (AISC), Marseille France, 2002 Presented paper "Using Symbolic Computation in an Automated Sequent Derivation System for Multi-valued Logic"
- Internet Accessible Mathematical Computation Workshop (IAMC) within the International
Symposium on Symbolic and Algebraic Computation (ISSAC), Lille, France, 2002.
*Presented poster "MathML - LaTeX conversion with conserving high-level semantics in translation" and software "MathML - LaTeX Conversion Tools"* - International Conference On Applications Of Computer Algebra, (ACA), St. Petersburg,
Russia, 2000

*Presented paper "An Algorithm For Solvability Testing Of Elementary Linear Inequalities Systems"*

- Programming in Java, C/C++, C#, Maple, Delphi, Visual Prolog, SQL and Dynamic HTML
- Usage of various operating systems: Windows, Linux, Mac OS, Sun Solaris
- Experience in web services development
- Web coding and web-design
- Knowledge of XML encoding and technologies: XML, XSLT, XML Schema
- Software tools development for processing of different mathematical data formats, such as MathML, OpenMath, Maple, TeX
- Development Automatic theorem provers
- Database development and management