current
Data Scientist @ Habla Computing
Designing and training ML/DL models for financial uses cases and improving the company’s own products and projects.
View full experience ->mathematician · data scientist · python · rust · ai
eduardito@dev:~$ ls
eduardito@dev:~$ cat about.md
Data scientist with a mathematics background focused on data systems, applied machine learning, and platform quality.
Location: Madrid, Spain
current
Designing and training ML/DL models for financial uses cases and improving the company’s own products and projects.
View full experience ->projects
FBool: A Rust/Python library to compute metrics on boolean functions.
View projects ->LLMs are getting remarkably good at writing formally verified code. Adding natural-language prompts isn't what moves the needle — writing precise specs is.
Read post ->