Difference between revisions of "Research"

Revision as of 18:18, 12 November 2013

Research Supervision

If you are interested in starting a M.Sc or Ph.D. degree in Computer Science in our Department, and you would like me to be your supervisor, please read the following notes before applying.I consider applications only from students who are outstanding in some way. Here are some qualities I deem outstanding :

• Excellent academic record (i.e. average grade of A-, or GPA of 3.7).
• To be an independently imaginative and proactive person.
• Excellent english writing skills.
• General awareness of the scientific method.
• All of the above.

I will do my best to answer your e-mail message, but I cannot guarantee to do so. I receive many applications and I answer only those that I find exciting, so please bear with any delays or lack of response.

Research Interests

• Design and implementation of programming languages
• Semantics of programming languages
• Parallel and/or distributed computing
• Demand-driven computation
• Context-driven computation
• Intensional programming
• Software engineering
• Software process modeling

Research Projects

General Intensional Programming System (GIPSY)

My main research project involves the design and implementation of a programming environment for a very special and unique programming language. The project is divided in different parts, each done by a different student. See the project web site for more details. Thus, here are the particularities of the work you would have to do in this project. If you want to work on this project, you have to be ready to accept those terms :

• Work on compilers (COMP642: Compiler Design is required).
• Work cooperatively with other students.
• Work on a unique (some might say weird) but very interesting programming language.
• Work on both theoretical and practical (programming) aspects.
• Use of rigorous Software Engineering techniques for systems development.
• Participate in the writing publications related to the thesis.
• All MSc students on this project must be in the Thesis Option.

Other research topics

I am also open to work on other Thesis Option projects, provided that you send me (by e-mail) an extensive description (between 3 and 5 pages) of what you want to do, and why you want to do it with me.

Graduate Research Student Advisor

Ongoing

PhD

• Touraj Laleh. Ph.D., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada.

MSc

• Arash Khodadadi M.Sc., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada.
• Sleiman Rabah. M.Sc., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada.

Graduated

PhD

• Serguei Mokhov. Intensional Cyberforensics. Ph.D., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2013.

• Aihua Wu. Compiler framework in the GIPSY environment, Ph.D., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2009.

• Emil Vassev. Autonomic Systems Specification Language. Ph.D., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2009.

• Kaiyu Wan. Lucx: Lucid Enriched with Context, Ph.D. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2006.

MSc

• Yi Ji. Scalability Evaluation of the GIPSY Runtime System. M.Sc., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2011.

• Han Bin. Implementation of a Scalable Demand-driven Execution Environment in the GIPSY. M.Sc., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2010.

• Xin Tong. Context Caluculus in the GIPSY. M.Sc., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2008.

• Amir Pourteymour. Comparative Study of Demand Migration Framework Implementation Using JMA and Jini. M.Sc., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2008.

• Serguei Mokhov. Towards Hybrid Intensional Programming with JLucid, Objective Lucid, and General Imperative Compiler Framework in the GIPSY, M.Sc. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2005.

• Emil Vassev. General Architecture for Demand Migration in the GIPSY Demand-Driven Execution Engine, M.Sc. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2005.

• Elena Tudoroiu. Software process modeling: Investigations using the RUP, M.Sc. Thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2005.

• Yi Min Ding. Bi-directional translation between dataflow graphs and Lucid programs in the GIPSY environment, M.Sc. Thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2004.

• Lei Tao. Warehouse and garbage collection in the GIPSY environment, M.Sc. Thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2004.

• Aihua Wu. Semantic Analysis and SIPL AST Translator Generation in the GIPSY, M.Sc. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2002.

• Linfang Wang. Naval Battle Simulation System: A Case Study in Software Engineering, M.App.Comp.Sc. major report, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2002.

• Chun Lei Ren. Parsing and Abstract Syntax Tree Generation in the GIPSY System, M.Sc. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2002.

• Ying Chun Liu. Comparative Study of Java and C++: Design and Implementation of a Gas Station Network System, M.App.Comp.Sc. major report, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2002.

• Weilan Jiang. Fast Adaptation of Legacy Code for Server Hosting, M.Sc. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2001.