Claudio S.

Hi everyone, I am a freelancer specialized in declarative languages, such as Prolog and its derivations. These programming languages are in general used to solve combinatorial problems related to areas such as Artificial Intelligence (AI) and Operations Research (OR). To solve these problems, mathematical modeling is used, with programming languages and tools like Prolog (and its several branches), PICAT, MINIZINC, OR-TOOLS, Z3 solver, ASP, PULP, etc. I also have some knowledge of other classical programming languages, such as C, V, C++, Python, and others. I find the V programming language really cool! Besides, my hobbies are Linux, small and cheap computers, so I also jumped into the embedded systems area. In addition I can offer you following services։ ☞ Coding and typesetting of documents in LaTeX (containing tables, figures, mathematical symbols, equations, etc.). ☞ LaTeX typesetting & editing of articles, reports, dissertations, doctoral thesis, posters, presentations, CVs, and other documents. ☞ Bibliography management via BibTeX, BiBLaTeX. ☞ Word/Office to LaTeX conversion. ☞ Creation of Beamer presentations in LaTeX. ☞ Writing of mathematical formulas in LaTeX. ☞ Onboarding documents online with LaTeX. ☞ Any other LaTeX work. ☞Technical translations related to CS ☞Based on my background, I can teach you many CS subjects via online classes. If you want to know more about myself: I have an amateur channel on YouTube, search for "Claudio Cesar de Sá" or go directly to: @claudio_sa where I show some of my expertise and hobbies. I usually work upon invitation, so please do not hesitate to contact me!