Skip to content
View hudakhadiri's full-sized avatar
7 followers · 5 following

Organizations

@Innovateurs-AI

Block or report hudakhadiri

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
hudakhadiri/README.md

Hey there, I'm Houda. I'm passionate about AI, deep learning, and computer vision. Check out my work!

👋  Hi there

I'm a Master’s student specializing in Artificial Intelligence and Virtual Reality. My passion lies in the fields of deep learning, computer vision, and formal verification of neural networks. I enjoy applying AI to solve real-world challenges, and I am constantly learning and expanding my knowledge in this ever-evolving field.

💡 What I work on:

  • Developing machine learning models for object detection, image classification, and AI-driven systems.
  • Applying formal methods to ensure the robustness and reliability of AI models.
  • Leveraging tools like PyTorch, TensorFlow, and OpenCV to build and fine-tune models.
  • Exploring new technologies to push the boundaries of AI and deep learning.

Feel free to check out my projects, and let’s connect if you're interested in collaboration or have any opportunities!

🧰  My toolbox

🖥️ Programming and Markup Languages

Python   Java   C   C++   HTML5   CSS3   PHP


📊 Data Science and Machine Learning

PyTorch   TensorFlow   Matplotlib   Pandas   Scikit-learn   NumPy   Jupyter


🛠️ Software and Tools

Git   Linux   GitHub   VS Code  


🧪 Formal Verification Tools


🗄️ Databases

MySQL   SQLite   Oracle   MongoDB


🌐 Web Development

Bootstrap   Laravel   Symfony


Popular repositories Loading

  1. hudakhadiri hudakhadiri Public

  2. Verified-Neural-Network-for-Traffic-Sign-Recognition Verified-Neural-Network-for-Traffic-Sign-Recognition Public

    Developed and verified a neural network for traffic sign recognition using Frama-C and ACSL. Translated the model into C and specified safety properties. Tested robustness with FGSM attacks, valida…

    C

  3. Chatbot-PDFMaster Chatbot-PDFMaster Public

    Chatbot-PDFMaster is a Python app that lets you interact with multiple PDFs using natural language. Ask questions, and the chatbot will generate responses based on the documents' content using a la…

    Python

  4. Chatbot-WebMaster Chatbot-WebMaster Public

    This chatbot utilizes Python and LangChain to access, interpret, and respond based on live website content, making it easy to gather information or answer queries directly from site data in real-time.

    Python

  5. ocaml-calculator-cli ocaml-calculator-cli Public

    A simple calculator application built using OCaml, demonstrating basic arithmetic operations (addition, subtraction, multiplication, and division) through functional programming. This project serve…

    Dune

  6. Functional-To-Do-List-Application-usin-Ocamel Functional-To-Do-List-Application-usin-Ocamel Public

    This project will allow us to implement a simple to-do list application where users can add tasks, mark them as completed, remove tasks, and view their tasks. The emphasis here is on using pure fun…

    OCaml