Part of:
You are here:
PhASAR is our static data-flow analysis framework written in C++ for the analysis of C/C++ programs. It is based on the LLVM infrastructure. Due to the unique feature of the C/C++ language family such …
If you have any questions, please contact service.itmc@tu-dortmund.de. …
Fourteen Keyan and Ghanaian students from various disciplines as diverse as spatial planning, mathematics and economics took part. The programme covered a wide range of activites including different w …
During his time with us, Yashin enriched the team with his dedicated work and positive attitude. We wish him much success and all the best in his future endeavors. It has been a pleasure working with …
Temporary restrictions on the following day are possible. Messages received during this period will be temporarily stored and transferred to the Matrix42 system after a successful update. In urgent ca …
In a society where racism is commonplace, empowerment spaces can be places where it is possible to take a deep breath. This Empowerment Space explicitly invites students who have a Palestinian family …
125 collections of social science and humanities primary sources cover topics such as history, politics, sport, literature, fashion and colonialism. The following individual collections are particular …
The event will begin at 4:00 p.m. in Lecture Hall E 23, Otto-Hahn-Str. 14. Until accepting his appointment to the Department of Computer Science, Sven Mayer was an assistant professor at the Technical …
…
