CONTACT INFORMATION

SUMMARY

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.

EDUCATION

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

ADDITIONAL CERTIFICATES

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.

RESEARCH

• 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

PROFESSIONAL EXPERIENCE

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.

PUBLICATIONS AND PRESENTATIONS

Theses

• 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).
  
  

Referred Conference Papers

1. 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
   
   
2. 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
   
   
3. 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
   
   
4. 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
   
   
5. 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
   
   
6. 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
   
   
7. 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
   
   
8. 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.
   
   
9. 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).
   
   
10. 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).
    
    
11. 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).
    
    
12. 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)

Technical reports

1. 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.
   
   
2. 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]
   
   
3. Elena Smirnova and Stephen M. Watt. "Mathematics On the NET", Final Project Report for CA:MONET Project, CANARIE E-content Program, 2004, 25 pages.
   
   
4. 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.
   
   
5. 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.
   
   
6. 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.
   
   
7. 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.
   
   

Referred extended abstracts

1. 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.
   
   
2. 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
   
   
3. 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.
   
   
4. 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).
   
   

Selected Referred posters

1. 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.
   
   
2. 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.
   
   
3. 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.

CONFERENCES

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"

TECHNICAL SKILLS

• 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

LANGUAGES