SABER MIRZAEI
111 Cummington mall, # Room 138, CS Dept. Boston, MA 02215
(857) · 225 · 5851 smirzaei@bu.edu
SUMMARY
PhD student in Computer Science.
Research interest: Graph theory and network algorithms, algorithm design, modeling and analysis of software
systems, data mining and machine Learning.
Currently seeking full-time position for Sept. 2016.
EDUCATION
Boston University , Boston
Ph.D. in Computer Science GPA: 3.7/4
expected Sept. 2016
advisor: Prof. Assaf Kfoury
Outstanding Courses: Analysis of Algorithms, Complexity of Algorithms,
Machine Learning, Data Mining, Advanced Network, Formal Methods
Iran University of Science and Technology, Tehran
M.Sc. in Software Engineering GPA: 17.32/20
Sharif University of Technology, Tehran
B.Sc. in Computer Engineering
2011
advisor: Prof. M. Azgomi
2008
advisor: Prof. H. Beigi
PUBLICATIONS AND TECHNICAL REPORTS
Mirzaei, Saber; Kfoury, Assaf. Shortest Path and Maximum Flow Problems in Planar Flow Networks with
Additive Gains and Losses. Submitted to Networks journal, March 2016.
Mirzaei, Saber; Kfoury, Assaf. Efficient Reassembling of Graphs, Part 2: The Balanced Case. Submitted to
the journal of Fundamenta Informaticae, March 2016.
Mirzaei, Saber. Minimum Average Delay of Routing Trees. Technical Report BUCS-TR-2016-001, CS Dept.,
Boston University, January 2016.
Kfoury, Assaf; Mirzaei, Saber. Efficient Reassembling of Graphs, Part 1: The Linear Case. Journal of Combinatorial Optimization, April 2016.
Mirzaei, Saber; Kfoury, Assaf. Linear Arrangement of Halin Graphs. Technical Report BUCS-TR-2015-012,
CS Dept., Boston University, September 2015.
Mirzaei, Saber; Esposito, Flavio. An Alloy Verification Model for Consensus-Based Auction Protocols. IEEE
35th ICDCSW (ADSN 2015) June 2015.
H. Motallebi, M. Azgomi, M. S. Mirzaei and A. Movaghar, “A New Extension of Activity Networks for Modelling and Verification of Timed Systems,” Turkish Journal of EE & CS, Vol. 21, No. 6, Oct. 2013, pp. 1751-1779.
Mirzaei, Saber; Bahargam, Sanaz; Skowya, Richard; Kfoury, Assaf and Bestavros, Azer. Using Alloy to Formally Model and Reason About an OpenFlow Network Switch, Technical Report BUCS-TR-2013-007, CS Dept.,
Boston University September, 2013.
Kfoury, Assaf; Mirzaei, Saber. A Different Approach to the Design and Analysis of Network Algorithms, Technical Report BUCS-TR-2012-019, CS Dept., Boston University December, 2012.
Lapets, Andrei; Mirzaei, Saber. Towards Lightweight Integration of SMT Solvers, Technical Report BUCSTR-2012-017, CS Dept., Boston University December, 2012.
Mirzaei, Saber. A Technique for Analysis of High-Level Activity Networks Based on Polyhedral Computations,
Master thesis, 2011.
TEACHING EXPERIENCE
Lecturer, Boston University Metropolitan College
Data Structures with Java:
Summer 2014
Teaching Assistant, Boston University, CS Department
Geometric Algorithms:
Fall 2014, Fall 2013, Spring 2011, Summer 2013 and Spring 2011
Introduction to Computer Science:
Summer 2013, Summer 2014
Concepts of Programming Languages:
Fall 2015, Fall 2012 and Fall 2011
OTHER PROJECTS
Predicting Price Trend of Concert Tickets
Side Project
Feb. 2014
· Observing and predicting the price of concert tickets based on features such as venue, seat location, event’s date,
days till performance, artist and etc.
· Dataset gathered from ticket sale websites (such as Ticketmaster).
Predicting Growth Trend of Features of Youtube’s Videos
Final Project-Machine Learning Course
May 2012
Boston Univ.
· Prediction of growth trend of attributes such as number of views, number of ratings, ratings of Youtube’s videos
in 21 weeks starting at April of 2008 (data set containing more than 200,000 videos).
· Study of effect of various features on predicting the category of a video.
Spam Detection
Final Project-Data Mining Course
Dec. 2011
Boston Univ.
· Detecting spam emails using different methods such as Naive Bayes and Cross Validation.
JOB AND ENGINEERING EXPERIENCE
Software Developer
Raydana Engineering Company
2008 - 2011
Tehran
· Developing of “Asset” and “Budget” sub-modules of Cyber ERP (Enterprise Resource Planning)
· Designing, extracting and developing of workflow of financial processes and web pages based on J2EE technology
· Construction of needed data models
TECHNICAL SKILLS
Programming Languages:
Platforms:
Database Systems:
Version and Library Control Systems:
Frameworks:
Java, Python, C, C++, Alloy, Matlab, R
J2EE
MySQL (EMS SQL Manager), Oracle (PLSQL)
CVS, SVN
Hibernate, Apache Struts, Spring
LAB MEMBERSHIP
iBench Group, Supervisors: Prof. Assaf Kfoury and Prof. Azer Bestavros, Boston University.
2011 to present
Performance and Dependability Engineering research Lab, Supervisors: Prof. M. Azgomi,
Iran University of Science and Technology.
2008 to 2011