About Me(back to home)
- My complete name is "Mohammad-Javad Izadi Najafabadi", "محمدجواد ایزدی نجفآبادی" in Persian.
"Izadi Najafabadi" is my last name.
My friends call me "Javad", "Mohammad-Javad", "MJ", or "Jabal". I don't have any preference
over which nickname others call me.
- I have a Masters' degree in Software Engineering form School of ECE, University of Tehran.
My main research area is Formal Methods. I am a member of the Formal Methods Laboratory in UT.
Other areas of interest include, theoretical computer science, software analysis and design,
software architecture, and natural language processing.
- I am Iranian, I was born in Mashhad, the second most populated city of Iran. I currently live
in Tehran, where I study.
- I am muslim, and shi'a.
- My hobbies include reading (almost everything), playing video games (puzzles, soccer
simulations and turn-based strategic games are my favorites), soccer, basketball, programming
for fun, talking to others, watching movies and TV series, and ...