Go home now Header Background Image
Search
Subscription Submission Procedure Login
User: anonymous
 
 
 
 
 

Juan Carlos Augusto


Referee for: D.1.6, D.2.4, D.3.2, F.4.1, F.4.3, I.2.3, I.2.4, I.2.8
Institution: University of Ulster at Jordanstown
Faculty of Engineering
Address: School of Computing and Mathematics
University of Ulster
Jordanstown campus
Shore Road
Newtownabbey
Co. Antrim
BT37 0QB
United Kingdom
Home Page: http://www.infj.ulst.ac.uk/%7Ejcaug/

Curriculum Vitae:

Juan Carlos Augusto graduated as Licenciado en Ciencias de la Computación (Licentiate in Computer Science) at Universidad Nacional del Sur (Bahía Blanca - Argentina) during 1991 and then graduated as a Ph.D. in Computer Science in the same university during 1998.

He started his experience in teaching computer science during 1989 as a Teaching Assistant at the Department of Computer Science of Universidad Nacional del Sur. From 1994 until 2001 he was a Lecturer in Computer Science. He has been also invited for other Universities of Argentina to give short courses on various subjects related to the use of time in Computer Science. In 2001 he joined the Declarative Systems and Software Engineering Research Group at the University of Southampton (UK) as a Researcher Fellow. In 2003 he joined the School of Computing and Mathematics in the University of Ulster at Jordanstown (UK).

Juan Carlos Augusto has been a visitor of the Department of Computer Science at the University of Exeter (UK) in 1997, 2000 and 2001 and a visitor of the Department of Computer Science at University of Rochester (U.S.A.) in 1998.

Since 1993 Juan Carlos Augusto has participated in nine research projects as a researcher, co-head or head of different research groups. During this period he has produced about fifty research reports in the form of journal articles, conference and workshop papers, edited volumes or technical reports.

Juan Carlos Augusto has been actively involved with different technical events serving as chair, steering committee member, program committee member, reviewer, panellist or invited lecturer.

Main Research Interests:

  • The improvement of generic tools used in the design of dynamic systems, for example:
    • Temporal Logics
    • Timed Petri Nets
    • Timed Finite Automata
  • Applications in the formalization of devices and protocols in Business and Industry
  • Verification of behavioural properties of systems
  • The interaction of the concept with different areas of Computer Science: Real-Time, Databases, Multimedia, Artificial Intelligence
  • The production of tools related to the dynamic aspects of systems