Difference between revisions of "Research"

From Dr. Joey Paquet Web Site
Jump to: navigation, search
(Research Projects)
(MSc)
 
(51 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
 
  
 
==Graduate Research Student Advisor==
 
==Graduate Research Student Advisor==
Line 28: Line 30:
 
====PhD====
 
====PhD====
  
*Touraj Laleh. Ph.D., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada.
+
*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====
 
====MSc====
  
*Arash Khodadadi M.Sc., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada.
+
*none
*Sleiman Rabah. M.Sc., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada.
+
  
 
===Graduated===
 
===Graduated===
Line 39: Line 41:
 
====PhD====
 
====PhD====
  
*Serguei Mokhov. ''Intensional Cyberforensics.'' Ph.D., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2013.
+
*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/]
  
*Aihua Wu. ''Compiler framework in the GIPSY environment'', Ph.D., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2009.
+
====MSc====
  
*Emil Vassev. ''Autonomic Systems Specification Language.'' Ph.D., Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2009.
+
*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.
  
*Kaiyu Wan. ''Lucx: Lucid Enriched with Context'', Ph.D. thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2006.
+
*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.
  
====MSc====
+
*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. [https://spectrum.library.concordia.ca/id/eprint/986429/]
 +
 
 +
*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/]
 +
 
 +
*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/]
 +
 
 +
*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]