Welcome to my homepage! My name is Giuseppe Della Penna (as you may guess from the page header...), I'm a Ph.D. in Computer Science and I work as an Associate Professor in the Department of Information Engineering, Computer Science and Mathematics (DISIM) at the University of L'Aquila in L'Aquila, Italy.
My primary research interests are formal methods, applied to a variety of contexts ranging from formal languages to software verification (model checking), planning, conceptual modelling and XML technologies. From the left menu you can access the complete list of my publications and read detailed information about my research activity and research projects I'm currently involved in.
My current teaching activity includes the Web Engineering course in the Master Degree in Computer Science and two advanced courses in the Master in Web Technology. I am also the tutor of all the students of the Master Degree in Computer Science, for all the issues concerning their study plan. Students can use the left menu to access the course pages, including course news, programs, slides, software, recommended textbooks, examination dates and results.
Finally, I am the supervisor of several master degree theses in computer science. Students can go to the theses page to see if there is any thesis available that matches their interests, or look at the thesis works currently assigned and completed.
My other interests include... obviously, computer science. In my spare time, I like doing computer graphics and designing web sites, like this one. I was also the developer and maintainer of the Univaq Computer Science website and DISIM Teaching website for neraly twenty years!Giuseppe Della Penna