The PKU-RISE is a research group led by Dezhi Ran in the PKU-ASE lab for researching rigorous methodologies for software engineering and engineering principles for intelligent software specifically ...