About

I received my Bachelor's degree from University of Bojnord, Iran and Master's degree from University of Zanjan, Iran in Computer Engineering in 2014 and 2017, respectively. In my Master's thesis, I worked on parallelizing graph algorithms on GPUs. Since 2018, I have joined the Formal Methods and Tools group at University of Twente to work on Mercedes project. In this project, I am working on developing automated verification techniques to reason about data race freedom and functional correctness of GPU programs. For more, you can download my CV.

Publications

  • M. Safari and A. Ebnenasir "Locality-Based Relaxation: An Efficient Method for GPU-Based Computation of Shortest Path". Second IFIP International Conference on Topics in Theoretical Computer Science (TTCS), LNCS, Springer, 2017.

  • S. Joosten, W. Oortwijn, M. Safari and M. Huisman "An Exercise in Verifying Sequential Programs with VerCors". In Formal Techniques for Java-like Programs (FTfJP), 2018.

  • M. Huisman, S. Blom, S. Darabi and M. Safari "Program Correctness by Transformation". 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), LNCS, Springer, 2018.

Research

Parallel Computing: Parallel and Distributed Graph Algorithms, Design of Many-core Programs, GPGPU Computing

Formal Methods: GPGPU Program Verification, Automated Verification of Massively Parallel Software

Contact

Address: University of Twente, Faculty EEMCS, Formal Methods and Tools, Zilverling Building, room 3082, P.O. Box 217 7500 AE Enschede, The Netherlands.

Email: m.safari@utwente.nl

Elements

Text

This is bold and this is strong. This is italic and this is emphasized. This is superscript text and this is subscript text. This is underlined and this is code: for (;;) { ... }. Finally, this is a link.


Heading Level 2

Heading Level 3

Heading Level 4

Heading Level 5
Heading Level 6

Blockquote

Fringilla nisl. Donec accumsan interdum nisi, quis tincidunt felis sagittis eget tempus euismod. Vestibulum ante ipsum primis in faucibus vestibulum. Blandit adipiscing eu felis iaculis volutpat ac adipiscing accumsan faucibus. Vestibulum ante ipsum primis in faucibus lorem ipsum dolor sit amet nullam adipiscing eu felis.

Preformatted

i = 0;

while (!deck.isInOrder()) {
    print 'Iteration ' + i;
    deck.shuffle();
    i++;
}

print 'It took ' + i + ' iterations to sort the deck.';

Lists

Unordered

  • Dolor pulvinar etiam.
  • Sagittis adipiscing.
  • Felis enim feugiat.

Alternate

  • Dolor pulvinar etiam.
  • Sagittis adipiscing.
  • Felis enim feugiat.

Ordered

  1. Dolor pulvinar etiam.
  2. Etiam vel felis viverra.
  3. Felis enim feugiat.
  4. Dolor pulvinar etiam.
  5. Etiam vel felis lorem.
  6. Felis enim et feugiat.

Icons

Actions

Table

Default

Name Description Price
Item One Ante turpis integer aliquet porttitor. 29.99
Item Two Vis ac commodo adipiscing arcu aliquet. 19.99
Item Three Morbi faucibus arcu accumsan lorem. 29.99
Item Four Vitae integer tempus condimentum. 19.99
Item Five Ante turpis integer aliquet porttitor. 29.99
100.00

Alternate

Name Description Price
Item One Ante turpis integer aliquet porttitor. 29.99
Item Two Vis ac commodo adipiscing arcu aliquet. 19.99
Item Three Morbi faucibus arcu accumsan lorem. 29.99
Item Four Vitae integer tempus condimentum. 19.99
Item Five Ante turpis integer aliquet porttitor. 29.99
100.00

Buttons

  • Disabled
  • Disabled

Form