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
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
Sponsors
We are grateful to all our funding agencies and supporters including ...
