Mohammed Alzakariya lan22h
0 followers · 0 following

  • Computer engineer interested in reverse engineering software, embedded system design, software verification, and mathematics.

  • Joined on 2024-07-02
Overview Repositories
2
 Projects Packages Public activity Starred repositories
1

Hi!

I'm Mohammed. I also go by Lan in this digital space we share.

I'm a computer engineer. My current interests are in reverse engineering software, embedded system design, software verification, and mathematics.

I am currently learning about the proof assistant Cubical Agda, and formalizing mathematical analysis alongside it.

Sharing my process

TODO.

Contact

Feel free to contact me at mailto:lanhikarixx@gmail.com!

I am open for work or collaboration if you are interested!

Also