Khalil B.

Agrégation-certified mathematician with a Master's in Geometry and Analysis and 10+ years of teaching experience, currently teaching as a professor agrégé at one of Morocco’s leading establishments. 195+ contracts completed on Upwork, 100% Job Success Score, Top Rated. I also run FULLSTACK MATHEMATICS, a training program in Rabat that prepares students for depth-level mathematical thinking, from competition prep through advanced undergraduate and graduate topics. What I do for clients: — Mathematics Tutoring, problem-solving, consulting, and content creation. I teach from introductory calculus to advanced analysis and differential geometry, and from fundamental algebra to graduate-level Field Theory, and I can prepare students for competition-level mathematics, including Olympiad-track training, and the Putnam Competition. — Python Web scraping, desktop GUIs, automation scripts, Telegram bots. I build tools that work and are maintainable. — Math content & ghostwriting Textbook drafts, course materials, solution manuals, educational content. — Formalization, Lean4 Currently expanding into: formal mathematics and proof verification using Lean 4 — combining my background in pure mathematics with formal proof systems. Core mathematical areas: Calculus, Linear Algebra, Real & Functional Analysis, Topology, Abstract Algebra (Groups, Rings, Fields), Number Theory, Differential Geometry, Measure Theory, Probability, Optimization, Euclidean Geometry, Mathematical Modeling. I hold the Agrégation in Mathematics, a French national exam that tests mastery across the full breadth of pure and applied mathematics. Fewer than 15% of master holder candidates pass in a typical year. Message me with the details of your project. I'll tell you quickly whether I can help.