Soodeh Farokhi

  • Research assistant, Ph.D. student 

 Short CVSoodeh-Farokhi

I started my research on January 2013 as a PhD student at adaptive distributed systems doctoral college. I am also a research assistant at Formal Methods in Systems Engineering (Forsyte), Electronic Commerce Group (EC), and a former member of Distributed Systems Group (DSG), Vienna University of Technology. I have received both my BSc and MSc in Software Engineering from Shahid Beheshti University, Iran. 

 Research Interests

  • Cloud Computing
  • Autonomic Computing 
  • Quality of Service 
  • Service Oriented Architecture

 


List of my publications at Google Scholar 

 

Address

Soodeh Farokhi
Vienna University of Technology
2nd Floor, Room HG 02 05
Favoritenstrasse 9-11/188
A-1040 Vienna, Austria

Room: EA0503 (how to get there)
Phone: +43 (1) 58801 – 184839
Email: farokhi@forsyte.at
Web: http://forsyte.at/~farokhi/

 

Latest News

Jens Pagel wins Bill McCune PhD Award

We congratulate Jens Pagel for receiving the 2021 Bill McCune PhD Award in Automated Reasoning! Jens graduated in 2020; his thesis on Decision procedures for separation logic: beyond symbolic heaps (supervised by Florian Zuleger) presents his substantial contributions to the theory of formal verification and automated reasoning, and to verifying heap-manipulating programs in particular.

Continue reading

Full news archive