State University Software Developer

EBRAHIM KHALAJ

Phone: (248-***-**-** Email: ********@*****.***

LinkedIn: www.linkedin.com/in/moebkhalaj

Github: https://github.com/orgs/aroog

Address: *** ******* ****** *** ***, Detroit, MI 48201

OBJECTIVE

To pursue a career in software development starting May 2017.

Education

PHD IN COMPUTER SCIENCE – Wayne State University – Detroit, MI -2013-2017 (Expected)

MS IN COMPUTER SCIENCE (THESIS OPTION) – Wayne State University – Detroit, MI -2013-2016

MS IN SOFTWARE ENGINEERING – Sharif University of Technology – Tehran, Iran -2009-2011

BS IN SOFTWARE ENGINEERING – Shahid Beheshti University – Tehran, Iran -2003-2008

LANGUAGES/TOOLS

Language

Java, C#, C++, SQL

Database

MySQL, MSSQL Server, Oracle, MS Access

Scripting

JavaScript, HTML5, CSS3, XHTML

Design Patterns & Frameworks

n-Tier, Factory, Visitor, MVC

Unit Testing

JUnit, NUnit, MSTest

IDE

Eclipse, Visual Studio

Source Control

SVN, TFS, GitHub, BitBucket

Others

MS Office, MS Visio, JIRA, Confluence, Trello, IIS, Apache, XML, Agile, Scrum,

Amazon AWS

Work Experience

GRADUATE TEACHING ASSISTANT - Wayne State University - Detroit, MI – Aug’13 - Dec’13, Aug’15 - Present

●Mentored senior students on their capstone software projects with local software companies Advaita Bioinformatics, Virtualtronix LLC and Atco Industries. Jan’17 – Present.

●Taught operating systems concepts (system calls, I/O, process control, threads, pipeline, redirection and signals) to senior students. Jan’16 - Apr’16, Aug’16 – Dec’17.

●Taught data structures (arrays, lists, stacks, queues, graphs, trees, hash tables) and algorithms (sorting and searching). Aug’15 – Dec’15.

●Taught hands-on labs for an intro programming course to junior students: I/O, mathematical operations, arrays, constructors, functions, call-by value, call-by reference and files. Aug’13 - Dec’13.

●Technologies: Linux, Visual Studio, C++, C.

GRADUATE RESEARCH ASSISTANT - Wayne State University - Detroit, MI – Jan’14 - Aug’15, May’16 – Jun’16

●Designed, formalized, implemented, tested and evaluated a program analysis to infer ownership types. Used object-oriented concepts: inheritance, polymorphism and design patterns like Command, Composite and Iterator.

●Technologies: Eclipse, Java, Test Driven Development, Tortoise SVN.

SOFTWARE DEVELOPER – Tosan Banking Solutions - Tehran, Iran – Nov’12 – Aug’13

●Developed client-side application to provide functionalities for the users of the RTGS (Real-time Gross Settlement) sub-system.

●Technologies: Service oriented Architecture, Visual Studio, SQL (writing complex queries), Stored Procedures, C#, C++.

SOFTWARE DEVELOPER – Avisa Business Intelligence - Tehran, Iran – Mar’12 – Nov’12

●Worked as a liaison between stock experts and development team for extracting requirements. Developed a tool for technical analysis and Japanese candlestick analysis of the stocks.

●Technologies: Visual Studio, C#, MS SQL, graph visualization, Agile.

SOFTWARE TESTER – Peykasa - Tehran, Iran – Mar’10 – Mar’12

●Designed and implemented functional and nonfunctional (stress) tests.

●Technologies: Linux, Shell script, Oracle, JUnit.

SOFTWARE DEVELOPER – SadafIT - Tehran, Iran – Mar’09 – Mar’10

●Designed and implemented SharePoint workflows based on real-world business processes.

●Technologies: SharePoint, Visual Studio, C#, JavaScript.

Selected Projects

OOGRE – Doctoral research project: developed OOGRE (Ownership Object Graph Refinement Engine), a tool to interactively refine object graphs. Wrote many small unit tests. Evaluated the tool on two large cases studies. Formalized the analysis and wrote the details in my dissertation.

Technologies: Java, Eclipse, Tortoise SVN, Crystal static analysis framework.

DROIDBENCH-EVAL – Contributed test cases to a benchmark of Android apps and compared precision and recall of various approaches that find security flaws such as information disclosure and tampering.

Technologies: Java, Eclipse, Android SDK.

CMS – A web-based course project for Course Management System.

Technologies: Visual Studio, ASP.Net, C#, Web API, Restful API, Fiddler, MySQL.

RTGS-CLIENT – The client side of an RTGS baking system to call services from the server side and show the requested data to the user.

Technologies: C#, Visual Studio.

Publications

PhD Thesis: Automated Refinement of Hierarchical Object Graphs. Advisor: Dr. Marwan Abi-Antoun

MS Thesis: Interactive Refinement of Hierarchical Object Graphs. Advisor: Dr. Marwan Abi-Antoun

Khalaj, E.. Abi-Antoun, M. “What You See Is What You Get Object Graphs”. Submitted to ECOOP, 2017.

Abi-Antoun, M. Khalaj, E., Vanciu, R., and Moghimi, A. "Abstract runtime structure for reasoning about security". Poster at Symposium and Bootcamp on the Science of Security (HotSoS), 2016.

Abi-Antoun, M., Wang, Y., Giang, A., Khalaj, E., and Rajlich, V. "Impact Analysis based on a Global Hierarchical Object Graph." In 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER), 2015.

Khalaj, E., Vanciu, R., and Abi-Antoun, M. "Is There Value in Reasoning about Security at the Architectural Level: a Comparative Evaluation". Poster at Symposium and Bootcamp on the Science of Security (HotSoS), 2014, Presenter

Vanciu, R., Khalaj, E. and Abi-Antoun, M. "Comparative Evaluation of Architectural and Code-Level Approaches for Finding Security Vulnerabilities." In Workshop on Security Information Workers (SIW), co-located with the ACM Conference on Computer and Communications Security (CCS), 2014, Presenter.

Abi-Antoun, M., Giang, A., Chandrashekar, S., and Khalaj, E. "The Eclipse Runtime Perspective for Object-Oriented Code Exploration and Program Comprehension". In Eclipse Technology eXchange Workshop (ETX), 2014.

E. Khalaj, S. Moaven, J. Habibi. and H. Ahmadi, "A Semantic Framework for Business Process Modeling Based on Architecture Styles", Published by 11th International Conference on Computer and Information Science (ICIS) IEEE/ACIS, 2012.

Other Achievements

Served as Student Volunteer at SPLASH Conference 2014 (Portland, OR) and 2015(Pittsburgh, PA).

Ranked 29th among 30000 applicants in National Master’s Program Entrance Exam, Tehran, Iran. Feb’09.

Among top 1% of National Bachelors Program Entrance Exam, Tehran, Iran. Jul’03.

Contact this candidate