PHD in Computer Science & Engg - Solidifying and Scaling SMT-based Program Analysis 1 April 2022 9:00am - 12:00pm https://hkust.zoom.us/j/9933249158, HKUST Share Email Add to Calendar Event Format Thesis Defense Candidate YAO, Peisen Language English Event Format Browse by event formatCommunity WorkCompetitionConference, Symposium, ForumExhibition, FairFundraisingInformation Session, OrientationOther FormatPerformanceSeminar, Lecture, TalkSocial GatheringTour, VisitUniversity Event & CeremonyWorkshop30th Anniversary Organizer Browse by organizerAcademic RegistryAcademy for Bright Future Young EngineersAcademy of Interdisciplinary StudiesAdvanced Engineering Materials FacilityAI Chip Center for Emerging Smart SystemsArt Program, Co-curricular ProgramsArtificial Intelligence Thrust, HKUST(GZ)Atmospheric, Marine & Coastal Environment ProgramAutonomous RC Car Racing ClubBioscience and Biomedical Engineering Thrust, HKUST(GZ)Biosciences Central Research Facility (CWB)Biosciences Central Research Facility, HKUST(GZ)Biotechnology and Business ProgramBiotechnology Research InstituteCampus Services OfficeCarbon Neutrality and Climate Change Thrust, HKUST(GZ)Career CenterCenter for Advanced Microsystems PackagingCenter for Aging ScienceCenter for Applied Social and Economic ResearchCenter for Chinese LinguisticsCenter for Economic PolicyCenter for Education InnovationCenter for Engineering Education InnovationCenter for Fundamental PhysicsCenter for Global & Community EngagementCenter for Industry Engagement and InternshipCenter for Language EducationCenter for Ocean Research in Hong Kong and Macau (CORE)Center for Technology Leadership, HKUST(GZ)Center for the ArtsCenter of Laboratory SuppliesCenter of Quantum Science and Technology, HKUST(GZ)Centre for Artificial Intelligence ResearchCLP Power Wind/Wave Tunnel FacilityCo-curricular ProgramsComputational Media and Arts Thrust, HKUST(GZ)Computer Engineering ProgramConnect Ambassador for Community Engagement 2019-20Counseling & WellnessCreative Media Zone | MTPCData Science and Analytics Thrust, HKUST(GZ)DDP Peer Mentoring ProgramDean of Students’ OfficeDepartment of AccountingDepartment of Chemical & Biological EngineeringDepartment of ChemistryDepartment of Civil & Environmental EngineeringDepartment of Computer Science and EngineeringDepartment of EconomicsDepartment of Electronic & Computer EngineeringDepartment of FinanceDepartment of Health Safety and Environment, HKUST(GZ)Department of Industrial Engineering & Decision AnalyticsDepartment of Information Systems, Business Statistics & Operations ManagementDepartment of ManagementDepartment of MarketingDepartment of MathematicsDepartment of Mechanical & Aerospace EngineeringDepartment of Ocean ScienceDepartment of PhysicsDesign and Manufacturing Services Facility (CWB)Development and Alumni OfficeDigital Marketing Team, Co-Curricular ProgramsDiversity and Equal Opportunities CommitteeDiversity and Equal Opportunities, Office of the Vice-President for Administration & BusinessDivision of Biomedical EngineeringDivision of Emerging Interdisciplinary AreasDivision of Environment and SustainabilityDivision of HumanitiesDivision of Integrative Systems & DesignDivision of Language Education, College of Educational Sciences, HKUST(GZ)Division of Life ScienceDivision of Public PolicyDivision of Social ScienceDual Degree Program in Technology & Management (T&M-DDP)Electronic Packaging LaboratoryEntrepreneurship CenterEnvironmental Central FacilityExecutive Education OfficeFacilities Management OfficeFINA 3001 Student CommitteeFinance OfficeFinancial Technology Thrust, HKUST(GZ)Fintech Research ProjectFirst-Year Experience @ ResidenceFrom the Bauhaus: visions, design and technologyFunction Hub, HKUST(GZ)Geotechnical Centrifuge FacilityGlobal China CenterGlobal Engagement & Greater China AffairsGlobal Engagement and Communications OfficeGREAT Smart Cities InstituteGuangzhou HKUST Fok Ying Tung Research Institutehackathon OC TeamHealth, Safety and Environment OfficeHKUST AlumniHKUST be Our GuestHKUST Big Data InstituteHKUST Business School - Communications and External AffairsHKUST Business School - UG Recruitment & AdmissionsHKUST Collaborative Innovation CenterHKUST ConnectHKUST Diversity and Equal OpportunitiesHKUST Energy InstituteHKUST EngageHKUST Fok Ying Tung Graduate SchoolHKUST Foshan Center for Technology Transfer and CommercializationHKUST Foshan Research Institute for Smart ManufacturingHKUST Institute for Emerging Market StudiesHKUST ISACA Student GroupHKUST Jockey Club Institute for Advanced StudyHKUST LED-FPD Technology R&D Center at FoshanHKUST LibraryHKUST R and D Corporation LimitedHKUST Robotics InstituteHKUST Robotics TeamHKUST Shenzhen Research InstituteHKUST Shenzhen-Hong Kong Collaborative Innovation Research InstituteHKUST Spark GlobalHKUST Staff AssociationHKUST STEAM Tutor TeamHKUST Student Ambassador ProgramHKUST SustainabilityHKUST-BDR Joint Research InstituteHKUST-Kaisa Joint Research InstituteHong Kong Branch of the Southern Marine Science and Engineering Guangdong Laboratory (Guangzhou)Human Resources OfficeHuman Resources Office(GZ)IAS Center for Quantum TechnologiesIndustrial Training CenterInformation Hub, HKUST(GZ)Information Systems OfficeInformation Systems Students' SocietyInformation Technology Center(GZ)Information Technology Services CenterInnovation, Policy and Entrepreneurship Thrust, HKUST(GZ)Institute for Public PolicyInstitute for the EnvironmentIntelligent Transportation Thrust, HKUST(GZ)Interdisciplinary Programs OfficeInternet of Things Thrust, HKUST(GZ)IPO Buddy ProgramISD Advising TeamISD NinjasJockey Club HallLab Services Department, HKUST(GZ)Laboratory Animal Facility (CWB)Leadership & Public Policy Executive Education Programs OfficeMainland and Belt&RoadMaterials Characterization and Preparation Facility (CWB)Media Technology & Publishing CenterNano & Advanced Materials Institute LimitedNanosystem Fabrication Facility (CWB)Office of Contract & Grant AdministrationOffice of General Logistics, HKUST(GZ)Office of Global LearningOffice of Institutional Data and ResearchOffice of Knowledge TransferOffice of Lab Facilities and Safety, HKUST(GZ)Office of Mainland AffairsOffice of Postgraduate StudiesOffice of Student Affairs, HKUST(GZ)Office of the Dean of Business & ManagementOffice of the Dean of EngineeringOffice of the Dean of Humanities & Social ScienceOffice of the Dean of ScienceOffice of the PresidentOffice of the President - External Relations Department, HKUST(GZ)Office of the President - Public Affairs Department, HKUST(GZ)Office of the President, HKUST(GZ)Office of the ProvostOffice of the Vice-President for Administration & BusinessOffice of the Vice-President for Institutional AdvancementOffice of the Vice-President for Research & DevelopmentPurchasing OfficePurchasing Office(GZ)Redbird Leadership Community (Bronze track)Redbird Leadership Community (Gold track)Redbird Leadership Community (Silver track)Redbird Open Learning PlatformResearch Department, HKUST(GZ)Research OfficeRisk Management and Business Intelligence ProgramRMBI Alumni MentorshipScholarships & Financial Aid OfficeSchool of Business & ManagementSchool of EngineeringSchool of Humanities & Social ScienceSchool of ScienceSEN SupportSENG UG Computer Engineering ProgramShaw Auditorium UnitShenzhen Platform Development OfficeSIGHT at HKUSTSociety Hub, HKUST(GZ)Sports DevelopmentStudent Housing and Residential LifeStudent Innovation for Global Health TechnologyStudent Support & ActivitiesSustainability/Net-Zero OfficeSustainable Energy And Environment Thrust, HKUST(GZ)Systems Hub, HKUST(GZ)The Center for the Development of The Gifted and TalentedThe Court, Council & Senate SecretariatThe Hong Kong University of Science and TechnologyThe South China Research CentertheBASE TeamUG Hall IUG Hall IIUG Hall IIIUG Hall IVUG Hall IXUG Hall VUG Hall VIUG Hall VIIUG Hall VIIIUndergraduate Core Education Team, Academy of Interdisciplinary StudiesUndergraduate Recruitment and Admissions OfficeUrban Governance and Design, HKUST(GZ)Vice President of Teaching and Learning Office - Red Bird MPhil, HKUST(GZ)Vice President of Teaching and Learning Office, HKUST(GZ)Vice President of Teaching and Learning Secretariat, VPTLO, HKUST(GZ) Interest Areas Browse by interest areasArts / Music / Film / Dance / Drama / LanguageBusiness & ManagementCareersCommunity ServiceDiversity / Gender / InclusionEngineeringEntrepreneurship / Knowledge TransferEnvironment & SustainabilityGlobal LearningHistoryHumanities & Social ScienceNetworkingOther University EventsPublic PolicyResidential LifeScience & TechnologySportsStaff DevelopmentStudent Development (Advising / Leadership / Mentorship / Creativity)HKUST(GZ) Audiences Browse by audience typeAlumniElderlyFaculty and staffGeneral publicHKUST FamilyPG studentsUG students Post an event Campus organizations are invited to add their events to the calendar. Login Not a user? Request an account Change Users' Preferences