News Archiv



Bild der Pressemitteilung
Former MPI-SWS postdoc receives ERC starting grant

Ori Lahav was awarded an ERC starting grant on „Verification-Aware Programming Language Concurrency Semantics“.  Ori was formerly a postdoctoral fellow in the Software Analysis and Verification group, and is now a tenure-track faculty member at Tel Aviv University. Read more about this year’s ERC Starting Grants here.

Bild der Pressemitteilung
Filip Mazowiecki joins MPI-SWS

Filip Mazowiecki is joining us from the University of Bordeaux, where he spent the last two years as a postdoc. His research area is formal verification, the study of verifying correct functioning of systems. He is mostly interested in the theoretical analysis of models like Petri nets and weighted automata, working on fundamental questions like reachability and equivalence.

Bild der Pressemitteilung
Studycheck: Vor dem Einschreiben „Data Science and Artificial Intelligence“ ausprobieren

Künstliche Intelligenz und Datenwissenschaft gelten als Berufsfelder der Zukunft. Die Universität des Saarlandes lehrt diese Disziplinen im neuen Studiengang „Data Science and Artificial Intelligence“. Am Freitag, den 6. September, können Abiturientinnen und Abiturienten das neue Studienfach vier Stunden lang ausprobieren. Damit die Studierenden in spe einen realistischen Eindruck erhalten, stehen ein Mitmach-Workshop, Vorträge und aktuelle Forschungsprojekte auf dem Programm. Das Angebot [...]

Bild der Pressemitteilung
Neue Zusammenarbeit mit koreanischen Partnern auf dem Gebiet der Cybersicherheit

Der Grundstein für eine großangelegte Kooperation mit Südkorea wurde am Mittwoch, 28. August, in Saarbrücken gelegt. CISPA-Gründungsdirektor Prof. Dr. Dr. h. c. Michael Backes, KAIST-Präsident Dr. Sung Shul Shin, Sprecher der KAIST-Graduierten Schule Prof. Insik Shin und der Direktor des KIST Europe Junkyung Kim unterzeichneten ein entsprechendes Memorandum of understanding. Hier wurden die Kernthemen der Zusammenarbeit und die gemeinsamen Ziele festgelegt. Es handelt sich dabei um eine Absichtserklärung, sich [...]

1 ...
1 2 3
4 5 6
7 8 9
10 11 12
13 14 15
16 17 18
19 20 21
22 23 24
25 26 27
28 29 30
31 32 33
34 35 36
37 38 39
40 41 42
43 44 45
46 47 48
49 50 51
52 53 54
55 56 57
58 59 60
61 62 63
64 65 66
67 68 69
70 71 72
73 74 75
76 77 78
79 80 81
82 83 84
85 86 87
88 89 90
91 92 93
94 95 96
97 98 99
100 101 102
103 104 105
106 107 108
109 110 111
112 113 114
115 116 117
118 119 120
121 122 123
124 125 126
127 128 129
130 131 132
133 134 135
136 137 138
139 140 141
142 143 144
145 146 147
148 149 150
151 152 153
154 155 156
157 158 159
160 161 162
163 164 165
166 167 168
169 170 171
172 173 174
175 176 177
178 179 180
181 182 183
184 185 186
187 188 189
190 191 192
193 194
4748495051 ...
1 2 3
4 5 6
7 8 9
10 11 12
13 14 15
16 17 18
19 20 21
22 23 24
25 26 27
28 29 30
31 32 33
34 35 36
37 38 39
40 41 42
43 44 45
46 47 48
49 50 51
52 53 54
55 56 57
58 59 60
61 62 63
64 65 66
67 68 69
70 71 72
73 74 75
76 77 78
79 80 81
82 83 84
85 86 87
88 89 90
91 92 93
94 95 96
97 98 99
100 101 102
103 104 105
106 107 108
109 110 111
112 113 114
115 116 117
118 119 120
121 122 123
124 125 126
127 128 129
130 131 132
133 134 135
136 137 138
139 140 141
142 143 144
145 146 147
148 149 150
151 152 153
154 155 156
157 158 159
160 161 162
163 164 165
166 167 168
169 170 171
172 173 174
175 176 177
178 179 180
181 182 183
184 185 186
187 188 189
190 191 192
193 194
194