Curriculum  Vitae  Personal  Information  

First Name: Reza Last Name: Matinnejad Birth Date: September, 1983 Personal Homepage: http://wwwen.uni.lu/snt/people/reza_matinnejad

Summary  

Educational  Background  

 

• PhD in Software Testing, Thesis Title: “Model-Based Testing of Automotive Software Systems”, University of Luxembourg, Luxembourg, Sep. 2012 - present.

• M.Sc. in Computer Science, Department of Computer Science, Sharif University of Technology, Tehran, Iran, Oct. 2005 - Jan. 2008.

• B.Sc. in Computer Science, Department of Electrical and Computer Engineering, Isfahan University of Technology, Iran, Oct. 2001 - Oct. 2005.

• High-School and Pre-University Diploma, Shahid Ejehei High School (Exceptional Talents High School), Iran, 1997 - 2001.

Occupational  Background  

• Project Manager and Software Designer, more than 1 year leading the software development team, developing the software of an embedded voice logger system called Phoenix at BSF Company (http://www.bsfcom.com), Mar. 2010 - Sep. 2012, Tehran, Iran.

• Software Developer and Designer, more than 2 years experience in designing and developing real-time systems at Information and Communication Technology Institute, Isfahan University of Technology (http://www.icti.ir) Jan. 2008 - Mar. 2010, Isfahan, Iran.

• Part-time Software Developer, more than 2 years experience in developing, designing and maintaining computer-telephony, voice logger and email to cell-phone messaging systems at BSF Company http://www.bsfcom.com, Oct.2005 -Jan. 2008, Tehran, Iran.

Occupational Background

Part-Time Software Developerwww.bsfcom.com

Full-Time Software Developer and Designer

PhD in Collaboration with Delphi Automotive Systems

www.delphi.com

participated in development of11 software-intensive systems

leading the software team for more than a year

Oct 2005 Jan 2008 Sep 2012 Present

Exceptional TalentsHigh School

Oct 2001 Oct 2005 Jan 2008 Sep 2012 Present

PhD in Software TestingSVV Group

University of Luxembourg

Graduated with rank 1 2 publications 7 publications at top-tier software enginnering conferences and journals2 ACM distinguished paper awards

2 prototype tools

MSc. in Computer ScienceSharif University

(Best university of Iran)

BSc. in Computer ScienceIsfahan University

of Technology

Educational Background

www.icti.ir www.bsfcom.com

Honors  and              Awards    

 

• Two ACM/SIGSOFT distinguished paper awards at ASE 2014 and ESEC/FSE 2015 conferences

• Ranked 1st in the final graduation GPA among 60 software engineering students, Department of Electrical and Computer Engineering, Isfahan University of Technology, 2005.

Publications                

• Matinnejad R., Nejati S., Briand L., Bruckmann T., "Automated Test Suite Generation for Time-Continuous Simulink Models", ICSE 2016.

• Matinnejad R., Nejati S., Briand L., Bruckmann T., "SimCoTest: A Test Suite Generation Tool for Simulink Controllers", ICSE 2016, Tool Track.

• Matinnejad R., Nejati S., Briand L., Bruckmann T., "Effective Test Suites for Mixed Discrete-Continuous Stateflow Controllers", ESEC/FSE 2015.

• Matinnejad R., Nejati S., Briand L., Bruckmann T., Poull C., "Search-Based Automated Testing of Continous Controllers: Framework, Tool Suport, and Case Studies “, IST Journal, 2015.

• Matinnejad R., Nejati S., Briand L., Bruckmann T., "MiL Testing of Highly Configurable Continuous Controllers: Scalable Search Using Surrogate Models", ASE 2014.

• Matinnejad R., Nejati S., Briand L., Bruckmann T., "CoCoTest: A Tool for MiL Testing of Continuous Controllers", ASE 2014, Tool Track.

• Matinnejad R., Nejati S., Briand L., Bruckmann T., Poull C. "Automated Model-in-the-Loop Testing of Continuous Controllers using Search“, SSBSE 2013.

• Matinnejad R., Ramsin R. "An analytical review of Process-Centered Software Engineering Environments", ECBS 2012.

• Matinnejad R., "Agile Model-Driven Development: An Intelligent Compromise", SERA 2011.

Professional                  Skills  

 

• Programming Languages: C, C++, C#, Java, Pascal, MATLAB/Simulink, CUDA, SQL, Java Scrip, PhP, Ruby.

• Programming Skills: Thread Programming, Socket Programming, File System Programming.

• Software Analysis and Design (Design Patterns, Object-Oriented Methods and Agile Software Development Processes, Software Quality Assurance)

• Software Development Tools: Git, Subversion, SourceSafe, Test Track Studio, Several IDEs (Visual Studio (2000, 2003, 2008), NetBeans, Rational Rose, Visual Paradigm, .

• DBMS: MS-SQL Server, SQLite

Accomplished                Industrial              Projects  

• iKaryotyper: Infinite Karyotyper is a computer-aided chromosome analysis system, reverse engineered from CytoVision software www.genetix.com.

Role: Software Team Leader & Software Architect Ordered by Ministry of Hygiene, under supervision of Dr. Khalaj http://sharif.edu/~khalaj/, 2011-2012.

• Phoenix: Phoenix is an embedded voice logger system. The software team developed (1) a simulator for testing purposes, and (2) a software framework for developing digital voice logging systems. The Phoenix software was developed based on the framework.

Role: Software team leader & architect At: BSF Co. 2010-2011.

• Aghajari IVRS: Aghajari interactive voice response system is a simple call center, managing and answering phone calls by soft-phone clients.

Role: Software team leader & architect At: BSF Co. 2010

• Device Drivers Maintenance: Maintaining a collection of windows-based device drivers of several data acquisition digital cards.

Role: System programmer At: ICTI Institute. 2009

• CUDA Programming: Research on utilizing the processing power of Nvidia graphic cards in parallel processing systems using CUDA language http://www.nvidia.com/object/cuda_home.html

Role: Software designer & developer At: ICTI Institute. 2009

• VSC: Video simulation center of a real-time safety-critical system. VSC generates the simulation video for system test.

Role: Software designer & developer At: ICTI Institute. 2008

• MCC: Master control center of a real-time safety-critical system. MCC coordinates all other operating hardware and software

Role: Software designer & developer At: ICTI Institute 2008

• MVR: A mobile mission critical PC-based voice recorder Role: Software designer & developer At: BSF Co. 2007

• DLS2000: A mission critical PC-based digital logging system Role: Software developer & DB designer At: BSF Co. 2006

• ECMS: Email to cell phone and cell phone to email message system Role: Software developer At: BSF Co. 2005-2006

• SIMA 400: A telephony conference management system Role: Software developer At: BSF Co. 2005

Language  Skills   English: Full professional proficiency French: Intermediate proficiency (B1.2) Farsi (Persian): Native Speaker