Elena Smirnova Email & Phone Number

Plano, Tx, Us

Plano, Tx, Us

Plano, Texas, United States

Architectural solutions and hands-on development for Human-Computer Interaction, incorporating AI/ML processing for user inputs and data generation.- Combining ML methods with algorithmic approaches for improved accuracy- Mathematical support for visual recognition and generated simulations- Blending NLP with visual and gestural inputs for more intuitive UI/UX- Frameworks for dynamically-configurable personalized computing environments- Portable systems for collecting real user data- Merging GenAI-based & algorithmic methods for datasets augmentations- Data pipelining - Prompt engineering and fine-tuning for proprietary Large Language Models

Carrollton, Tx

Product Development & Research, Architectural solutions for software control systems with focus on - Prognostics and diagnostics- Data mining and processing- User experience- Equipment controlsProducts and Technologies Delivered: + Smart thermostats + AI-based scheduling and adaptive setback + Patented Indoor Air Quality (IAQ) monitoring and mitigating systems + IoT: integration with home automation and proprietary mobile solutions + Cloud Services: dealer portals and user accounts management + Patented BLE/Wi-Fi Mesh connectivity for on-site installations and maintenance + Commercial and Residential Air Conditioner & Heat Pump controls + HVAC systems diagnostics with condition-tailored troubleshooting guides + Performance and cost prognostics + Data analytics support for EPA Certifications

Dallas/Fort Worth Area

Design and development for multi-platform mathematical educational software.Specializing in Computer Algebra Systems and Numerical Algorithms on embedded platforms, iOS, Mac OS, Windows, Android.Featuring memory and time-efficient math algorithms, UI and data management.Areas of Expertise - Adaptive user interfaces and context-based tools - Mathematical handwriting recognition - Logic Simplifiers and Symbolic Solvers - Numerical Methods for Engineering systems

London, Canada

Researched and managed software development for mathematical pen interfaces, including portable architecture solutions for pen-based computing, direct expression manipulation in computer algebra systems, and structural analysis of two-dimensional mathematical notation.Areas of Expertise - mathematical communication protocols, - web-based math systems, - mathematical notation tools, - mathematical handwriting recognition, - pen-based math systems design

Conducted research into communication frameworks for distributed mathematical web services. Oversaw design, configuration and development of Math Services broker and online conversion tools to translate between various math notation formats (OpenMath, MathML, TeX, CAS-specific syntaxes (Maple, Mathematica, Axiom)) while taking into account user-preferred notational choices. Organized workshops and conferences.- Created and launched notation selection tool online service.- Developed pen-based manipulation on mathematical expressions in Maple worksheets and Microsoft documents .- Designed, implemented and created tools for automatic deployment of Maple and Axiom-based math services.

London, Ontario, Canada

Researched mathematical data communications with emphasis on reversible transformations between standard expression representations (TeX, MathML, OpenMath). Wrote research papers, reports and documentation. - Designed, implemented, deployed and launched MathML to LaTeX online converter. - Presented at four international conferences. Published four research papers and three technical reports.

St. Peterburg, Russia

Taught undergraduate courses on Programming Languages and Data Structures. Conducted research in applications for multilevel logics.

St. Petersburg, Russia

Taught graduate courses on Logical Programming and Web Design

Phd, Computer Science

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

Phd, Mathematics And Physics

Research in applications for multilevel logics.

Master, Computer Science, Math

Master thesis title: Algorithms for Propositional Inference in Multilevel Logics