Difference between revisions of "Research"

From Dr. Joey Paquet Web Site
Jump to: navigation, search
(Research Supervision)
(MSc)
 
(52 intermediate revisions by one user not shown)
Line 3: Line 3:
 
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 :
 
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).
+
* Excellent academic record (i.e. average grade of A, or GPA of 4.0).
 
* To be an independently imaginative and proactive person.
 
* To be an independently imaginative and proactive person.
 
* Excellent English writing skills.
 
* Excellent English writing skills.
 +
* Outstanding technical computer programming skills.
 
* General awareness of the scientific method.
 
* General awareness of the scientific method.
 
* All of the above.
 
* All of the above.
Line 15: Line 16:
 
*Design and implementation of programming languages
 
*Design and implementation of programming languages
 
*Semantics of programming languages
 
*Semantics of programming languages
 +
*Service-oriented computing
 +
*Composite services
 
*Parallel and/or distributed computing
 
*Parallel and/or distributed computing
 
*Demand-driven computation
 
*Demand-driven computation
Line 20: Line 23:
 
*Intensional programming
 
*Intensional programming
 
*Software engineering
 
*Software engineering
*Software process modeling
 
  
==Research Projects==
+
==Graduate Research Student Advisor==
  
===General Intensional Programming System (GIPSY)===
+
===Ongoing===
  
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 :
+
====PhD====
  
* Work on compilers (COMP642: Compiler Design is required).
+
*Rostislav Axamitnyy. Ph.D., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada.
* Work cooperatively with other students.  
+
*Peyman Drashfkavian. Ph.D., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada.
* 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===
+
====MSc====
  
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.
+
*none
  
==Graduate Research Student Advisor==
+
===Graduated===
 
+
===Ongoing===
+
  
 
====PhD====
 
====PhD====
  
*Touraj Laleh. Ph.D., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada.
+
*Nicolas Kamel. ''Computational Design of Hammerhead Ribozymes for Logic Computing and Disease Treatment''. Ph.D. thesis, Department of Electrical and Computer Engineering, Concordia University, Canada, 2024.
 +
*Touraj Laleh. ''Context Verification and Adaptation in Web Service Composition'', Ph.D. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2018. [http://spectrum.library.concordia.ca/983542/]
 +
*Serguei Mokhov. ''Intensional Cyberforensics.'' Ph.D. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2013. [http://spectrum.library.concordia.ca/977460/]
 +
*Aihua Wu. ''Compiler framework in the GIPSY environment'', Ph.D. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2009. [http://spectrum.library.concordia.ca/976610/]
 +
*Emil Vassev. ''Autonomic Systems Specification Language.'' Ph.D. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2008. [http://dl.acm.org/citation.cfm?id=1822800]
 +
*Kaiyu Wan. ''Lucx: Lucid Enriched with Context'', Ph.D. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2006. [http://spectrum.library.concordia.ca/8951/]
  
 
====MSc====
 
====MSc====
  
*Arash Khodadadi M.Sc., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada.
+
*Solmaz Jaberi. ''Using ASSL as a Method for Intent Expression to Enact Autonomic Networking.'' M.Sc. Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2023.
*Sleiman Rabah. M.Sc., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada.
+
  
===Graduated===
+
*Vashisht Marhwal. ''MARFL: An Intensional Language for Demand-Driven Management of Machine Learning Backends.'' M.Sc. Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2023.
  
====PhD====
+
*Pouria Roostaei. ''Scalable Automatic Service Composition using Genetic Algorithms.'' MSc. Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2023.
  
*Serguei Mokhov. ''Intensional Cyberforensics.'' Ph.D., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2013.
+
*Pouria Zahraei. ''. A GIPSY Runtime System with a Kubernetes Underlay for the OpenTDIP Forensic Computing Backend.'' MSc. Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2022.
  
*Aihua Wu. ''Compiler framework in the GIPSY environment'', Ph.D., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2009.
+
*Jashanjot Singh. ''Universal Gesture Tracking Framework in OpenISS and ROS and its Applications.'' M.Sc., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2020. [https://spectrum.library.concordia.ca/id/eprint/986429/]
  
*Emil Vassev. ''Autonomic Systems Specification Language.'' Ph.D., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2009.
+
*Haotao Lai. ''An OpenISS Framework Specialization for Deep Learning-based Person Re-identification.'' M.Sc., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2019. [https://spectrum.library.concordia.ca/985788/]
  
*Kaiyu Wan. ''Lucx: Lucid Enriched with Context'', Ph.D. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2006.
+
*Yiran Shen. ''Toward a flexible facial analysis framework in OpenISS for visual effects.'' M.Sc., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2019. [https://spectrum.library.concordia.ca/985787/]
  
====MSc====
+
*Jyotsana Gupta. ''Execution/Simulation of Context/Constraint-aware Composite Services using GIPSY.'' M.Sc. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2019. [https://spectrum.library.concordia.ca/985560/]
 +
 
 +
*Alexandre Simard. ''A Framework for Interoperability Across Heterogeneous Service Description Models.'' M.Sc. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2019. [https://spectrum.library.concordia.ca/985120/]
 +
 
 +
*Arash Khodadadi ''Collection and Classification of Services and  their Context. ''M.Sc. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2015. [http://spectrum.library.concordia.ca/980615/]
 +
 
 +
*Sleiman Rabah. '' A Resource Publication and Discovery Framework and Broker-Based Architecture for Network Virtualization Environment.'' M.Sc. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2013. [http://spectrum.library.concordia.ca/978130/]
  
*Yi Ji. ''Scalability Evaluation of the GIPSY Runtime System.'' M.Sc., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2011.
+
*Yi Ji. ''Scalability Evaluation of the GIPSY Runtime System.'' M.Sc. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2011. [http://spectrum.library.concordia.ca/7152/]
  
*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.
+
*Han Bin. ''Implementation of a Scalable Demand-driven Execution Environment in the GIPSY.'' M.Sc. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2010. [http://spectrum.library.concordia.ca/979464/]
  
*Xin Tong. ''Context Caluculus in the GIPSY.'' M.Sc., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2008.
+
*Xin Tong. ''Context Caluculus in the GIPSY.'' M.Sc. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2008. [http://spectrum.library.concordia.ca/975704/]
  
*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.
+
*Amir Pourteymour. ''Comparative Study of Demand Migration Framework Implementation Using JNA and Jini.'' M.Sc. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2008. [http://spectrum.library.concordia.ca/975918/]
  
*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.
+
*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. [http://spectrum.library.concordia.ca/6439/]
  
*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.
+
*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.[http://spectrum.library.concordia.ca/8681/]
  
*Elena Tudoroiu. ''Software process modeling: Investigations using the RUP'', 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. [http://spectrum.library.concordia.ca/8418/]
  
*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.
+
*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.
+
*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. [http://spectrum.library.concordia.ca/8129/]
  
*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.
+
*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. [http://spectrum.library.concordia.ca/2018/]
  
*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.
+
*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. [http://spectrum.library.concordia.ca/1724/]
  
*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.
+
*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. [http://spectrum.library.concordia.ca/1859/]
  
*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.
+
*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. [http://spectrum.library.concordia.ca/1655/]
  
*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.
+
*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. [http://spectrum.library.concordia.ca/1372/]

Latest revision as of 13:45, 24 July 2024

Contents

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 4.0).
  • To be an independently imaginative and proactive person.
  • Excellent English writing skills.
  • Outstanding technical computer programming 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
  • Service-oriented computing
  • Composite services
  • Parallel and/or distributed computing
  • Demand-driven computation
  • Context-driven computation
  • Intensional programming
  • Software engineering

Graduate Research Student Advisor

Ongoing

PhD

  • Rostislav Axamitnyy. Ph.D., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada.
  • Peyman Drashfkavian. Ph.D., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada.

MSc

  • none

Graduated

PhD

  • Nicolas Kamel. Computational Design of Hammerhead Ribozymes for Logic Computing and Disease Treatment. Ph.D. thesis, Department of Electrical and Computer Engineering, Concordia University, Canada, 2024.
  • Touraj Laleh. Context Verification and Adaptation in Web Service Composition, Ph.D. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2018. [1]
  • Serguei Mokhov. Intensional Cyberforensics. Ph.D. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2013. [2]
  • Aihua Wu. Compiler framework in the GIPSY environment, Ph.D. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2009. [3]
  • Emil Vassev. Autonomic Systems Specification Language. Ph.D. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2008. [4]
  • Kaiyu Wan. Lucx: Lucid Enriched with Context, Ph.D. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2006. [5]

MSc

  • Solmaz Jaberi. Using ASSL as a Method for Intent Expression to Enact Autonomic Networking. M.Sc. Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2023.
  • Vashisht Marhwal. MARFL: An Intensional Language for Demand-Driven Management of Machine Learning Backends. M.Sc. Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2023.
  • Pouria Roostaei. Scalable Automatic Service Composition using Genetic Algorithms. MSc. Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2023.
  • Pouria Zahraei. . A GIPSY Runtime System with a Kubernetes Underlay for the OpenTDIP Forensic Computing Backend. MSc. Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2022.
  • Jashanjot Singh. Universal Gesture Tracking Framework in OpenISS and ROS and its Applications. M.Sc., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2020. [6]
  • Haotao Lai. An OpenISS Framework Specialization for Deep Learning-based Person Re-identification. M.Sc., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2019. [7]
  • Yiran Shen. Toward a flexible facial analysis framework in OpenISS for visual effects. M.Sc., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2019. [8]
  • Jyotsana Gupta. Execution/Simulation of Context/Constraint-aware Composite Services using GIPSY. M.Sc. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2019. [9]
  • Alexandre Simard. A Framework for Interoperability Across Heterogeneous Service Description Models. M.Sc. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2019. [10]
  • Arash Khodadadi Collection and Classification of Services and their Context. M.Sc. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2015. [11]
  • Sleiman Rabah. A Resource Publication and Discovery Framework and Broker-Based Architecture for Network Virtualization Environment. M.Sc. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2013. [12]
  • Yi Ji. Scalability Evaluation of the GIPSY Runtime System. M.Sc. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2011. [13]
  • Han Bin. Implementation of a Scalable Demand-driven Execution Environment in the GIPSY. M.Sc. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2010. [14]
  • Xin Tong. Context Caluculus in the GIPSY. M.Sc. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2008. [15]
  • Amir Pourteymour. Comparative Study of Demand Migration Framework Implementation Using JNA and Jini. M.Sc. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2008. [16]
  • 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. [17]
  • 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.[18]
  • Elena Tudoroiu. Software process modeling: Investigations using the RUP, M.Sc. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2005. [19]
  • 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. [20]
  • 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. [21]
  • 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. [22]
  • 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. [23]
  • 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. [24]
  • 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. [25]