Miguel Riesco Albizu's Home Page

I am a Computer Engineer who works as a professor at the Computer Science Department of the University of Oviedo.

Contact Information

	Name:	Miguel Riesco Albizu
	Email:	albizu@uniovi.es
	Phone:	+34 985 10 33 90
	Fax:	+34 985 10 33 82
	Address:	Department of Computer Science, Calvo Sotelo s/n. 33007. Oviedo (Spain).
	Home Page:	www.di.uniovi.es/~albizu

Curriculum Vitae

• Computer Scientist from the University of Oviedo (1988).
• Computer Engineer from the University of Málaga (1992).
• Working as a Associate Lecturer at the Computer Science Department of the University of Oviedo, from October 1988 to May 1992.
• Working as a Professor at the Computer Science Department of the University of Oviedo, since May 1992.
• Doctor from the University of Oviedo, at the Computer Science Department, with a Thesis entitled Specification of Distributed Reactive Systems Using Synchronous Estelle.

Teaching

This year I am teaching the following subjects:

• Operating Systems, at the Computer Science Technical School of Oviedo.
• Security in Computer Systems, at the same School

Formerly, I have been teaching the following subjects, all of them in the Computer Science Technical School of Oviedo:

• Concurrent Programming.
• Computer history
• Data Structures

Tutorage timetable:

• Monday, from 9.30 to 12.30
• Thursday, from 9.30 to 12.30

Those days you can find me at the Teaching Innovation Lab., located in the first floor of the Computer Science Technical School of Oviedo.

Other Activities

I have belonged to the organization comitee of the following events:

• I concurso de posters de la EUITIO (First EUITIO poster contest), Feb. 2005.
• Gran Concurso de la EUITIO (EUITIO Great Contest), about computer history, Nov. 2008.
• I Jornadas de Innovación docente de la EUITIO

Research

I did my Ph.D. thesis titled Specification of Distributed Reactive Systems Using Synchronous Estelle". Therefore, my main research interests are:

• Distributed Systems
• Reactive Systems
• Formal Description Techniques
• Formal Methods

I am very interested in Operating Systems, Computer Security and History of Computing, too.

Also, because I work as a teacher, I am very interested in Educational Methods, use of computers in Education, new ways of teaching Computer Science, an all that concern with Computers, Computer Science and Education.

Publications

Research and Innovation Projects

Other Computer Science Interests

• Linux
  • Operating System
  • Graphical environments
  • Programming in Linux

Links

• Old Personal Page (in spanish)

Hobbies

• Diving