Lorenzo Battistela
Software Developer Researcher at Higher Order Company
Rio Grande do Sul, Brazil
Summary
🤩
RockstarLorenzo Battistela is a software developer and researcher from Rio Grande do Sul, Brazil, with five years of experience building backend systems, data pipelines, and formal research tools. He blends practical engineering—APIs, automation, TDD, and data extraction—with formal methods work, currently researching symbolic AI and developing a proof language and parallel runtime using Agda and Haskell. Lorenzo has hands-on QA and test-automation experience in notable open-source projects like pandas-ai, where he improved pytest infrastructure and broadened LLM test coverage across implementations such as OpenAI and Hugging Face. Comfortable across Ruby, JavaScript, Haskell and verification tooling, he brings a rare mix of production-grade backend skills and formal-programming rigor.
5 years of coding experience
2 years of employment as a software developer
English, Italian, Portuguese
Stackoverflow
81reputation
7kreached
2answers
6questions
Github Skills (16)
pandas10
pytest10
python10
testing10
llm9
openai8
ai8
huggingface7
data-analysis7
bots6
algorithm6
twitter6
docker6
tweepy6
ethereum6
Programming languages (16)
Github contributions (5)
sinaptik-ai/pandas-ai
May 2023 - Jan 2024
Chat with your database or your datalake (SQL, CSV, parquet). PandasAI makes data analysis conversational using LLMs and RAG.
Role in this project:
QA Engineer / Test Automation Engineer
QA Engineer / Test Automation EngineerContributions:7 reviews, 4 PRs, 15 comments in 8 months
Contributions summary:Lorenzo's contributions focused on improving the testing infrastructure and test coverage for the pandas-ai project. They refactored the test setup by replacing redundant code with pytest fixtures, enhancing the tests for various functionalities including conversational answers, code execution, and privacy enforcement. Additionally, they added and modified tests for different LLM implementations like OpenAI, Base Hugging Face and Starcoder, ensuring the robustness of the library. They also addressed specific issues related to logging and chart saving within the testing framework.
aicsvdatadata-analysisdata-science
w3b3d3v/talent-inteligence
Sep 2022 - Feb 2023
Contributions:38 commits, 24 PRs, 48 pushes in 4 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.