Agata Ciabattoni is an Italian

mathematical logic Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic com ...

ian specializing in

non-classical logic Non-classical logics (and sometimes alternative logics or non-Aristotelian logics) are formal systems that differ in a significant way from standard logical systems such as propositional and predicate logic. There are several ways in which this ...

. She is a full professor at the Institute of Logic and Computation of the Faculty of Informatics at the Vienna University of Technology (TU Wien), and a co-chair of th
Vienna Center for Logic and Algorithms of TU Wien
(VCLA).

Education and career

Ciabattoni is originally from Ripatransone. She studied computer science at the

University of Bologna The University of Bologna (, abbreviated Unibo) is a Public university, public research university in Bologna, Italy. Teaching began around 1088, with the university becoming organised as guilds of students () by the late 12th century. It is the ...

, and completed her Ph.D. in 2000 at the

University of Milan The University of Milan (; ), officially abbreviated as UNIMI, or colloquially referred to as La Statale ("the State niversity), is a public university, public research university in Milan, Italy. It is one of the largest universities in Eu ...

. Her dissertation, ''Proof-theory in many-valued logics'', was supervised by Daniele Mundici. She moved to Vienna in 2000 with the support of an EU Marie Curie Fellowship, and In 2007, she earned her

habilitation Habilitation is the highest university degree, or the procedure by which it is achieved, in Germany, France, Italy, Poland and some other European and non-English-speaking countries. The candidate fulfills a university's set criteria of excelle ...

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 Kurt Gödel Society.

Contributions

One of Ciabattoni's projects at TU Wien involves using mathematical logic to formalize the

ethical Ethics is the philosophical study of moral phenomena. Also called moral philosophy, it investigates normative questions about what people ought to do or which behavior is morally right. Its main branches include normative ethics, applied e ...

reasoning in the

Vedas FIle:Atharva-Veda samhita page 471 illustration.png, upright=1.2, The Vedas are ancient Sanskrit texts of Hinduism. Above: A page from the ''Atharvaveda''. The Vedas ( or ; ), sometimes collectively called the Veda, are a large body of relig ...

, a body of Indian sacred texts.

Recognition

In 2011, Ciabattoni won the Start-Preis of the Austrian Science Fund, the only woman to win the prize that year.

References

External links

Home page
* {{DEFAULTSORT:Ciabattoni, Agata Year of birth missing (living people) Living people Austrian mathematicians Italian women mathematicians Mathematical logicians Women logicians University of Bologna alumni University of Milan alumni Academic staff of TU Wien