-
Automated Software Engineering
At SæT we empirically gauge developers experience and toggle between abstraction and automation to devise intelligent new generation of software development frameworks for emerging computing platforms (e.g., cloud, blockchain) that aim to make programming accessible to citizen developers, while taking into consideration safety, performance and security requirements. We focus on developers’ intentions, rather than their technical knowledge of and experience with the syntax of programming languages.
-
DR. Hamaqa's Research
- Automated Software Engineering
- ML4SE
- Models Abstraction and Simulation
- Software Auditing
- AIOps and DevSecOps
- Low-Code and DSML
- Empirical Software Engineering
- Digital Twin Software
Modelling and Abstraction
Artificial Intelligence and Simulation
Analysis and Emperical Evaluations
Fun Facts!
SæT (pronounced sight) means cute or beautiful in Icelandic. Members of SæT use the beauty of models as a tool to derive automation and to comprehend, analyze and reduce the complexity of building software applications for emerging computing platforms. The snowy owl in the logo is the official bird of Quebec. Similar to the snowy owl, members of SæT have strong SæT towards the future and can survive harsh winters :-).
About SæT Research Group
SæT is a research group with members spanning Polytechnique Montréal in Canada and Reykjavik University in Iceland. SæT is member of SEMLA and CRESS. SæT members are interested in
- Automated Software Engineering
- ML4SE
- SE for Emerging Computing Platforms (e.g., Cloud Computing, Quantum Computing)
- Models Abstraction and Simulation
- Software Auditing
- AIOps and DevSecOps
- Low-Code and DSML
- Empirical Software Engineering
- Digital Twin Software
- Distributed and Decentralized Applications (e.g., Cloud Native Applications and Smart Contracts)
- Software Security and Safety Critical Systems
Sample Projects
Optimizing for Sustainability and Security: Tackling the Dual Challenges in Cloud Computing
Cloud computing offers scalable and reliable internet services but introduces environmental and security challenges due to high energy consumption and complex infrastructure. This research explores
Smart Contract Auditing
The objective of this project is not to replace auditors but to augment their intelligence by offering valuable support through audit suggestions and leveraging innovative
Intention Driven Development
The project aims at devising an intelligent new generation of software development frameworks for emerging computing platforms (eg, cloud, blockchain) that aims to make programming