COMPUTER SCIENCE

SCIENCES AND TECHNOLOGY

The PhD curriculum in "Computer Science" is based on a central research theme on "modelling, analysis, formal verification and deployment of distributed systems" that includes a variety of scientific topics, among which modelling and analysis of business processes and service-oriented applications; methods and languages for complex systems; and analysis, verification, and testing of distributed systems. PhD students in Computer Science are usually affiliated with the Computer Science Division (http://cs-research.unicam.it), hosting a large group of researchers strongly active on the fields of Software Engineering, Formal Methods and Security.
The PhD program in Computer Science also provides the doctoral students with a interdisciplinary background involving scientific disciplines from other Science Divisions, including Physics, Mathematics and eHealth.
Theoretical and engineering activities are carried out within the Computer Science Division. Some of these activities also fall within several local, national and international research projects, funded by e.g. Region Marche, MIUR (PRIN) and EU (FP7-ICT). Results achieved by the members of the division are published on top-level international journals and conferences. This, together with a strong orientation towards the third mission, have lead the Computer Science Division to achieve a high reputation at both national and international level.
The PhD program in Computer Science aims at forming skilled researchers able to tackle theoretical and practical challenges in different fields of Computer Science, within both academia and industry. To this aim, PhD students are involved in advanced research activities, in collaboration with a large variety of national and international partners. This typically includes scientific visits abroad to high-ranking institutions. Several PhD students in Computer Science have taken, and take, part to applied research projects (EUREKA), financed in collaboration with Marche Region, UniCam and local companies. Those projects may involve different topics of interest for companies, ranging from Big Data Analysis to Cloud Computing in Green Smart City, and more.

SCIENCES AND TECHNOLOGY

Scientific Board - Science and Technology

Phd Coordinator

Emanuela Merelli

short CV

bio

Professor of Computer Science at the Computer Science Division of the School of Science and Technology of University of Camerino. She was Fulbrigh fellow at University of Oregon, Visiting Scientist at IBM Center in Heidelberg and Honorary Scholar at Olivetti Spa Ivrea. From 2006 to 2012, she has been chairing the Computer Science BSc and MSc Degrees (until 2009) and the Computer Science Division (from 2009) of the School of Science and Technology. Guest Editor for several issues of Theoretical Computer Science Journal - Section on Theory of Natural Computing; co-author of many papers on peer reviewed international journals; 1200 overall citations and h-index 14 (Google Scholar); chair of many workshops and a school.

Since April 2010 she is the responsible of the PhD curriculum in Computer Science at the University of Camerino.

research topics

Her main research activities concerned the development and application of mathematical and computational methods for modelling concurrent and distributed systems. She co-authored several bio-inspired methods (Shape, Bioshape, BOSL, S[B]) and studied the applicability of standard approaches (process algebra, timed-automata, hybrid automata, multi-agent systems) to the biomedical domain of complex systems.

She was coordinator of a unit in the Italian MIUR-FIRB project LITBIO (Laboratory for Interdisciplinary Technology in Bioinformatics).

Currently, she is the coordinator of the EU-FET project TOPDRIM (topology driven methods for complex systems). Within the scientific activities, carried out by a consortium of six partners (Unicam (I), University of Southern Denmark (DK), University of Marseille (F), University of Amsterdam (NL), ISI Foundation (I), Open University (UK)), she is the author of S[B], a new computational paradigm (a mathematical model of computation) for complex systems, the applicability of which is described in a recent article she co-authored for promoting the topological field theory of data as a program towards a novel strategy for mining data through data language.

selected publications

M. Rasetti, E. Merelli (2015), The topological field theory of data: A program towards a novel strategy for data mining through data language. J of Physics: CS 626 (1)

E. Merelli, M. Pettini, M. Rasetti (2015), Topology driven modeling: the IS metaphor, Natural Computing 14(3)

N. Paoletti, P. Liò, E. Merelli, M. Viceconti (2012), Multilevel Computational Modeling and Quantitative Analysis of Bone Remodeling, IEEE/ACM Trans Comput Biology Bioinform 9(5)

Roberta Alfieri, Ezio Bartocci, Emanuela Merelli, Luciano Milanesi (2011), Modeling the cell cycle: From deterministic models to hybrid systems, Biosystems 105(1)

E. Bartocci, F. Corradini, E. Merelli, L. Tesei (2010), Detecting synchronisation of biological oscillators by model checking, Theor Comput Sci 411(20)

E. Bartocci, F. Corradini, M. R. Di Berardini, E. Merelli, L. Tesei (2010), Shape Calculus. A Spatial Mobile Calculus for 3D Shapes. Sci Ann Comp Sci 20

E. Bartocci, D. Cacciagrano, N. Cannata, F. Corradini, E. Merelli, L. Milanesi, P. Romano (2007), An agent-based multilayer architecture for bioinformatics grids, IEEE Trans Nanobioscience 6(2)

E. Merelli, G. Armano, N. Cannata, F. Corradini, M. d'Inverno, A. Doms, P.W. Lord, A. Martin, L. Milanesi, S. Moeller, M. Schroeder, M. Luck (2007), Agents in bioinformatics, computational and systems biology. Briefings in Bioinformatics 8(1)

N. Cannata, E. Merelli, R.B. Altman (2005), Time to Organize the Bioinformatics Resourceome, PLoS Computational Biology 1(7)

F. Pezzella, E. Merelli (2000), A tabu search method guided by shifting bottleneck for the job shop scheduling problem, EJOR, 120(2)

MERELLI EMANUELA

e-mail:
emanuela.merelli@unicam.it
view more info at:
http://docenti.unicam.it/pdett.aspx?ids=N&tv=d&UteId=207

M	T	W	T	F	S	S
		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