- January 31, 2012
- Math refs
Quoted from my old blog, here are "few" mathematical references in several branches of mathematics ... Enjoy!
I am a mathematician with a Ph.D. in Computer Science, specializing in algorithm design and development. My work centers on addressing complex industrial challenges through advanced methods in optimization, computational geometry, and related areas of theoretical and applied computing. I am additionally passionate about exploring artificial intelligence algorithms, especially where mathematical rigor and innovative problem-solving are the cornerstone.
In my current role with the The Autonomous Engineer development group, I work at the intersection of advanced AI and rigorous mathematical modeling to develop intelligent tools for real estate design and planning. My focus includes creating systems that automate the generation of plant room layouts, duct and pipework, storage areas, and parking lots—optimizing for material efficiency, spatial usage, and carbon footprint.
Previously, I was part of the RTaW , where I contributed to RTaW-Pegase- the leading platform for designing, configuring, and simulating embedded communication architectures. The platform is used by major clients such as BMW, Renault, Bosch, Aptiv, Airbus, ArianeGroup, and NASA. As an Algorithm Developer, I was responsible for developing core logic and implementing numerous tools and features within the platform.
I also have an experience in acadimia. In addition to tutoring at the Engineering school in Nancy, France, I was a post-doctoral fellow at the French Institute for Research in Computer Science and Automation. . I worked with formal specification languages that automatically verify the logic of algorithms and procedures. During my Ph.D., at INRIA, Nancy, France, motivated by robotics and visualization applications, I focused on efficiently plotting singular plane curves while preserving important properties such as topology. My goal was to develop certified numerical algorithms for isolating singularities—key to understanding the curve's structure. During my master's studies at TU Kaiserslautern in Germany, I designed a semi-algorithm to encode a special types of high-dimensional curves called Algebroid curves. This work is implemented in the computer algebra system Singular. This made it easier and faster to perform complex calculations with these curves, making them more usable in practical applications.
- Supervised learning (parametric/non-parametric algorithms, support vector machines, kernels, neural networks).
- Unsupervised learning (clustering, dimensionality reduction, recommender systems, deep learning).
- Best practices in machine learning (bias/variance theory; innovation process in machine learning and AI).
Indexes and Transactions, Constraints and Triggers,Views and Authorization
Relational Databases, Relational Algebra, Design Theory and Unified Modeling Language
Oslo, Norway
- Algorithm Design: Engineered and optimized cutting-edge geometric algorithms that improved processing speed by 40% and reduced computational complexity for real estate and engineering applications.
- Synthetic Data Generation: Developed advanced tools that generated 100,000+ diverse, scalable datasets for AI training, resulting in 25% improvement in model accuracy.
- Research and Development: Pioneered computational solutions that automated 60% of manual processes, leading to significant cost savings and improved decision-making accuracy.
- Project Leadership: Led a team of 3 developers in implementing new geometric algorithms, completing the project 2 weeks ahead of schedule.
Nancy, France
- Develop, enhance, and document algorithmic solutions, in Statistics, Optimization, and Geometry to tackle client-posed problems & requested features
- Implement, test, and debug the algorithms (Python or Java) as well as evaluate the product before customer usage
Nancy, France
- Designing a fragment of TLA++ capable of being translated into Cubicle
- Implement translation algorithms from the fragment identifier to Cubicle input language
- Coupling TLAPS with automatic verification tools using these translations
- Generating a documentation for the techniques and the produced codes
Nancy, France
Tutoring courses in:
- Scientific Programming Languages
- Rational Database
- Pursuing research in modeling the projections of 3D (even higher!) curves.
- Using efficient symbolic and certified numerical tools for visualization & robotics purposes
- Designing & implementing related algorithms
Specialization: Geometry, Algebra and Computer Algebra
Thesis context: Development and implementation of algorithms regarding curves defined with infinite series
Undertaking an intensive Bachelor program of Pure & Applied Mathematics courses
KAAD Scholarship for pursuing master degree at TU Kaiserslautern, Germany
Selected for the Syrian team in the International Mathematical Olympiads for University students.
Top ten ranking in the Syrian National Olympiads of Mathematics for University Students.