73:
at TU Wien. She remains affiliated with TU Wien, as a professor in the faculty of informatics. She also serves as the
Collegium Logicum lecture series chair for the
175:
201:
396:
381:
401:
406:
376:
386:
230:
30:. She is a full professor at the Institute of Logic and Computation of the Faculty of Informatics at the
206:
BMK Infothek: Bundesministerium für
Klimaschutz, Umwelt, Energie, Mobilität, Innovation und Technologie
155:
391:
371:
291:
66:
106:
51:
271:
74:
85:
One of
Ciabattoni's projects at TU Wien involves using mathematical logic to formalize the
8:
352:
55:
27:
23:
318:
356:
365:
226:
160:
70:
47:
102:
176:"Computerwissenschafter der TU Wien wollen internationale Marke werden"
347:
265:
126:
324:
297:
31:
86:
242:
90:
202:"Weltrekord: Größtes menschliches Sortiernetzwerk in Wien"
65:
She moved to Vienna in 2000 with the support of an EU
35:
293:
Indian Sacred Texts and the Logic of
Computer Ethics
36:Vienna Center for Logic and Algorithms of TU Wien
363:
109:, the only woman to win the prize that year.
150:
148:
146:
144:
54:, and completed her Ph.D. in 2000 at the
141:
41:
364:
50:. She studied computer science at the
320:START-Preis 2011 für Agata Ciabattoni
284:
235:
62:, was supervised by Daniele Mundici.
311:
13:
258:
60:Proof-theory in many-valued logics
14:
418:
341:
247:, Faculty of Informatics, TU Wien
220:
127:"Faculty of Informatics, TU Wien"
93:, a body of Indian sacred texts.
34:(TU Wien), and a co-chair of the
80:
156:"Eine logische Klasse für sich"
32:Vienna University of Technology
194:
168:
119:
96:
69:, and In 2007, she earned her
46:Ciabattoni is originally from
1:
231:Mathematics Genealogy Project
112:
397:University of Bologna alumni
382:Italian women mathematicians
244:Theory and Logic Group Staff
101:In 2011, Ciabattoni won the
7:
10:
423:
402:University of Milan alumni
407:Academic staff of TU Wien
355:publications indexed by
377:Austrian mathematicians
387:Mathematical logicians
67:Marie Curie Fellowship
107:Austrian Science Fund
52:University of Bologna
24:mathematical logician
16:Italian mathematician
58:. Her dissertation,
42:Education and career
208:. 25 September 2019
56:University of Milan
28:non-classical logic
272:Kurt Gödel Society
75:Kurt Gödel Society
300:, 29 January 2018
182:. 25 January 2012
129:. 13 January 2017
89:reasoning in the
414:
353:Agata Ciabattoni
335:
334:
333:
331:
315:
309:
308:
307:
305:
288:
282:
281:
280:
278:
262:
256:
255:
254:
252:
239:
233:
227:Agata Ciabattoni
224:
218:
217:
215:
213:
198:
192:
191:
189:
187:
172:
166:
165:
152:
139:
138:
136:
134:
123:
26:specializing in
20:Agata Ciabattoni
422:
421:
417:
416:
415:
413:
412:
411:
392:Women logicians
362:
361:
344:
339:
338:
329:
327:
317:
316:
312:
303:
301:
290:
289:
285:
276:
274:
264:
263:
259:
250:
248:
241:
240:
236:
225:
221:
211:
209:
200:
199:
195:
185:
183:
174:
173:
169:
154:
153:
142:
132:
130:
125:
124:
120:
115:
99:
83:
44:
17:
12:
11:
5:
420:
410:
409:
404:
399:
394:
389:
384:
379:
374:
360:
359:
357:Google Scholar
350:
343:
342:External links
340:
337:
336:
310:
283:
257:
234:
219:
193:
167:
164:, 28 June 2011
140:
117:
116:
114:
111:
98:
95:
82:
79:
43:
40:
22:is an Italian
15:
9:
6:
4:
3:
2:
419:
408:
405:
403:
400:
398:
395:
393:
390:
388:
385:
383:
380:
378:
375:
373:
372:Living people
370:
369:
367:
358:
354:
351:
349:
346:
345:
326:
322:
321:
314:
299:
295:
294:
287:
273:
269:
268:
261:
246:
245:
238:
232:
228:
223:
207:
203:
197:
181:
177:
171:
163:
162:
157:
151:
149:
147:
145:
128:
122:
118:
110:
108:
104:
94:
92:
88:
81:Contributions
78:
76:
72:
68:
63:
61:
57:
53:
49:
39:
37:
33:
29:
25:
21:
328:, retrieved
319:
313:
302:, retrieved
292:
286:
275:, retrieved
267:Organization
266:
260:
249:, retrieved
243:
237:
222:
210:. Retrieved
205:
196:
184:. Retrieved
180:Der Standard
179:
170:
161:Der Standard
159:
131:. Retrieved
121:
100:
84:
71:habilitation
64:
59:
48:Ripatransone
45:
19:
18:
330:10 December
304:10 December
277:10 December
251:10 December
103:Start-Preis
97:Recognition
366:Categories
113:References
348:Home page
212:20 April
186:20 April
133:20 April
38:(VCLA).
325:TU Wien
298:TU Wien
229:at the
105:of the
87:ethical
91:Vedas
332:2018
306:2018
279:2018
253:2018
214:2020
188:2020
135:2020
368::
323:,
296:,
270:,
204:.
178:.
158:,
143:^
77:.
216:.
190:.
137:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.