I'm an AI and programming enthusiast with a passion for robotics and intelligent systems.
- π€ Robotics, AI, Reinforcement Learning
- π― Computer Vision, NLP, and Deep Learning
- π₯οΈ Formal Verification and Safe Autonomous Systems
- π» I began as a full-stack web developer, mainly using .NET technologies.
- π I became a robotics enthusiast after building a teleoperation platform for Autonomous Mobile Robots (AMRs).
- π¬ Now, Iβm a Graduate Research Assistant on trustworthy AI, safe robotics, and formal methods.
- π± Currently exploring mobile robot navigation, trustworthy AI and safe robotics, combining formal verification with learning-based methods.
I'm always interested in multi-disciplinary projects at the intersection of AI and real-world impact.
Check out my personal website: hmfarimani.github.io
Feel free to reach out via email: hmfarimani@gmail.com