理工科技学院
Faculty of Science and Technology
Back to previous level
Back to top
Toggle navigation
中文
Sitemap
Home
About
About the Faculty
Dean’s Welcome
Management Team
Advisory Committee
Faculty Committees
Contact Us
Staff
Members
Achievements
Department & Programme
Department of Mathematical Sciences
Applied Mathematics
Financial Mathematics
Department of Statistics and Data Science
Statistics
Data Science
Department of Computer Science
Artificial Intelligence
Computer Science and Technology
Department of Life Sciences
Environmental Science
Food Science and Technology
Applied Psychology
Postgraduate Programmes
MPhil/PhD in Applied Mathematics
MPhil/PhD in Biology
MPhil/PhD in Chemistry
MPhil/PhD in Computer Science and Technology
MPhil/PhD in Probability and Mathematical Statistics
Master of Arts in Communication - AI & Digital Media Concentration
Master of Science in Sustainable Energy Technology and Management
Master of Science in Data Science- Business Statistics Concentration
Students
Student Support
Student Opportunities
Student Achievements
Graduate Prospects
Frequently Used Forms
Research
Research Centers
Research News
Research Activities
News & Events
News
Events
Announcements
Alumni Stories
中文
Home
>
News & Events
>
Events
>
Lecture | Technology-for-math for outreach and broader impact: Lean and proof-assistant for research and experimentation
