Home - 华东师范大学软件工程学院

News

Three ECNU achievements accepted by top cryptography conferences

Recently, three scientific research achievements made by the ECNU Software Engineering Institute wer...

Academician He Jifeng and his team won the 2019 Shanghai Science and Technology Awards

On May 19, the 2019 Shanghai Science and Technology Awards Ceremony was held at Shanghai Exhibition ...

Turing Award winner Joseph Sifakis lectures on autonomous system at ECNU

May 20th, Turing Award winner Joseph Sifakis, leading researcher on systems design and engineering, ...

Fujitsu Internship Briefing and Talk to Japan Successfully Held

Teachers and Students Participated in the launching ceremony of “Morgan Stanley Female Engineers' Professional Mentor” Project

Saudi Arabian MiSK Foundation Manga Productions came to the School to Discuss Strategic Cooperation

News

Lecture

2020

09-21

Opportunities of ECE Master's Education at DKU/Duke

Title: Opportunities of ECE Master's Education at DKU/Duke
Time： 13:30-15:00, October15 Tuesday,2020
Location: Room 201, Mathematical Building
Lecturer：Xin LI
2019

11-28

Proofs and surfaces

Title: Proofs and surfaces
Time： 10:00-11:30, December06 Friday,2019
Location: Room 201, Mathematical Building
Lecturer：Pierre-Louis Curien.
2019

11-25

50 years history of the cross correlation between m-sequences

Title: 50 years history of the cross correlation between m-sequences
Time： 14:30-15:30, November26 Thursday,2019
Location: Room 1002, Science Building B
Lecturer：Professor Tor Helleseth University of Bergen
2019

11-25

Two recent results on additive quaternary codes

Title: Two recent results on additive quaternary codes
Time： 15:30-16:30, November26 Thursday,2019
Location: Room 1102, Science Building B
Lecturer：Professor Patrick Solé University of Paris 8
2019

11-12

Three formal proofs of Tarjan’s Strongly Connected Components algorithm in directed graphs

Title: Three formal proofs of Tarjan’s Strongly Connected Components algorithm in directed graphs
Time： 09:30-10:30, November14 Thursday,2019
Location: Room 1002, Science Building B
Lecturer：Prof. Jean-Jacques Levy (Inria Paris & Irif)
2019

11-06

The Continuing Evolution of C++

Title: The Continuing Evolution of C++
Time： 14:00-15:30, November14 Thursday,2019
Location: Science Hall
Lecturer：Bjarne Stroustrup
2019

10-22

Queryable Self-Deliberating Dynamic Systems

Title: Queryable Self-Deliberating Dynamic Systems
Time： 10:40-11:40, October30 Wednesay,2019
Location: Science Hall
Lecturer：Giuseppe de Giacomo
2019

10-22

Program Verification: a 50-Year History

Title: Program Verification: a 50-Year History
Time： 09:30-10:30, October30 Wednesay,2019
Location: Science Hall
Lecturer：Moshe Y. Vardi
2019

10-21

Robotic Imaging, Machine Learning and Augmented Reality for Multimodal Intra-operative Imaging and visualization

Title: Robotic Imaging, Machine Learning and Augmented Reality for Multimodal Intra-operative Imaging and visualization
Time： 14:00-15:00, October25 Friday,2019
Location: Room 201, Mathematical Building
Lecturer：Prof. Nassir Navab
2019

10-21

Hardware Synthesis of Parallel Data-Flow Systems

Title: Hardware Synthesis of Parallel Data-Flow Systems
Time： 10:00-11:00, October24 Thursay,2019
Location: Room 201, Mathematical Building
Lecturer：Patrice Quinton（ENS Rennes）

Lecture

2020

09-21

Opportunities of ECE Master's Education at DKU/Duke

Title: Opportunities of ECE Master's Education at DKU/Duke
Time： 13:30-15:00, October15 Tuesday,2020
Location: Room 201, Mathematical Building
Lecturer：Xin LI
2019

11-28

Proofs and surfaces

Title: Proofs and surfaces
Time： 10:00-11:30, December06 Friday,2019
Location: Room 201, Mathematical Building
Lecturer：Pierre-Louis Curien.
2019

11-25

50 years history of the cross correlation between m-sequences

Title: 50 years history of the cross correlation between m-sequences
Time： 14:30-15:30, November26 Thursday,2019
Location: Room 1002, Science Building B
Lecturer：Professor Tor Helleseth University of Bergen