I was born at 1PM, September 28th of 1964, in a little town called General Manuel Jorge Campos, Provincia de La Pampa, Argentina.
Education: High School at Instituto Juan B. Alberdi (Guatraché, La Pampa, Argentina). Then I graduated as Licenciado en Ciencias de la Computación and later as Doctor en Ciencias de la Computación (Thesis: "Defeasible Temporal Reasoning", adviser: Dr. G. Simari) at the Department of Computer Science of Universidad Nacional del Sur (UNS), Bahía Blanca, Argentina. I was awarded an M.Sc. in Higher Education Practice from the University of Ulster (UK) in 2009.
Teaching Experience: After my graduation as Licenciado I joined the Department of Computer Science at UNS as Teaching Assistant and later on (1994) I was appointed lecturer in Fundamentals of Computer Science. Other topics taught at an undergaduate level included: Knowledge Based Systems, Dynamic Systems and Real-Time Systems. At a postgraduate level I taught: Temporal Logic, Programming in Temporal Logic, Formal Systems in Computer Science and Temporal Databases.
In September 2004 I started teaching at the School of Computing and Mathematics of the University of Ulster at Jordanstown, where I teach Reliable Software Development (COM914J1) and Intelligent Agents (COM836).
Other short (one-week) courses given by invitation:
Ubiquitous Computing (Problems, tools and perspectives).
Master Program on Ubiquitous Computing, University of Murcia- Spain. 3-5 May, 2011.
Master Program on Software Development, University of Granada - Spain. 13-17th of December, 2010.
Formal Methods in Software Engineering.
Ph.D. Summer School on Formal Analysis Approaches in Informatics, Druskininkai - Lithuania. 14-19th of May, 2007. Supported by InMADra - EU Structural Fund Project.
Artificial Intelligence in Hazardous Applications,
Benemérita Universidad Autónoma de Puebla, México, 2004.
Specifying and Verifying Temporal Properties in Real Time Systems,
Universidad Nacional de Santiago del Estero, Argentina, 2001.
Temporal Logics from a Computational Perspective,
Universidad Nacional de Santiago del Estero, Argentina, 1999.
Temporal Information Based Systems,
Universidad Nacional de Rio Cuarto, Argentina, 1998.
Temporal Logics and Applications,
Universidad Nacional de Neuquén, Argentina, 1998.
Invited talks (Most recent ones are listed in the main home page):
[keynote] International Conference on Agents and Artificial Intelligence (ICAART), Porto, Portugal, 19th-21st of January, 2009.
Research Seminars Program for Engineering in Informatics and Telecommunications (2008-2009), Escuela Politécnica Superior Universidad Autónoma de Madrid (Spain). Title of the talk: "Inteligencia Ambiental: estado del arte y desafios (Ambient Intelligence: state of the art and challenges)". 21st of April, 2009.
[keynote] Ageing well in the Knowledge Society (AKS) , at the International Symposium on Distributed Computing and Artificial Intelligence 2009 (DCAI'09). Salamanca, Spain, 12th of June, 2009. Title of the talk: "Ambient Assisted Living: Past, Present and Future."
[keynote] Ambient Intelligence Forum (AmIF) , Hradec Králové, Czech Republic, 16th-18st of September, 2009. Title of the talk: "Ambient Assisted Living: Past, Present and Future."
[keynote] Ambient Assisted Living: past, present and future at 2nd Workshop on Behaviour Monitoring and Interpretation (BMI'08), Co-located with the German Conference on AI 2008, Kaiserslautern, September 23-26, 2008.
Summer School on Ubiquitous Computing and Intelligent Environments, Almuñecar, Spain, July 7-11, 2008.
[keynote]Ambient Intelligence: the assumptions and the challenges, at First International Workshop on Human Aspects in Ambient Intelligence, co-located with the Conference on Ambient Intelligence (AmI'07), Darmstadt, Germany, November 10, 2007.
[keynote] Ambient Intelligence: basic concepts and applications, 1st International Conference on Software and Data Technologies (ICSOFT 2006), Setubal (Portugal), September 11-14, 2006.
Razonamiento temporal: conceptos basicos y algunas areas de aplicacion (Temporal Reasoning: Basic Concepts and Some Areas of Application) and Razonamiento temporal aplicado al desarrollo de software para casas inteligentes (Temporal Reasoning Applied to the Development of Software for Smart Homes). Both given on Friday 24th of June, 2005 by video-conference. Venue: Universidad de Chile/ CMM Multimedia Site (organized by INDECS Ltda.)
Truly `Smart Homes' for eHealth,
Ulster Institute of eHealth and The Beeches Management Centre, UK. November 5, 2004.
The Role of Formal Methods in Software Quality (in Spanish),
Universidad de Castilla La Mancha, Spain. November 24, 2004.
Ambient Intelligence during AAAI2008, Chicago, USA.
Ambient Intelligence: applications in society and opportunities for AI, by Dr. JC Augusto and Dr. Diane Cook, 20th International Joint Conference on Artificial Intelligence (IJCAI-07), to be held in Hyderabad, India, January 2007.
Model Checking and Theorem Proving-Based Verification of Enterprise Information System. Given during 6th International Conference on Enterprise Information Systems. Scheduled for April 13th, 2004
More than 10 Requirements for the Specification of a Dynamic System (given during "1st Ibero-American Symposium on Software Engineering and Knowledge Engineering", Buenos Aires, Argentina (JIISIC'01).
Visions of Ambient Intelligence during AmI2009, Salzburg, Austria.
Hypermedia and Web Engineering: New Challenges to Knowledge Engineering? (during SEKE'02).
Applications, Trends and Perspectives in Software Engineering and Knowledge Engineering (during JIISIC'02)
[2003 - present] member of the Computer Science Research Institute, University of Ulster at Jordanstown, UK.
[2001- 2003] Research Fellow in the Declarative Systems and Software Engineering Research Group, Dept. of Electronics and Computer Science, University of Southampton, Southampton, UK. Funded Research Project:
- Automated validation of Business critical systems with Component-based Designs (2001-2003)
[1999, 2002] external co-head of the Research Group in Software Engineering of the Department of Exact Sciences at Universidad Nacional de Santiago del Estero - Argentina. Funded Research Project:
- Software Process Model Applicable to Software and Knowledge Engineering: formalization, validation and application (1999-2002)
[1995, 2001] head of the Research Group in Dynamic Systems, Computer Science Department, Universidad Nacional del Sur - Argentina. Funded Research Projects:
- Temporal Logic for Knowledge Representation (1995).
- Temporal Information Representation (1996-1997).
- Expresiveness and Implementation issues in Timed Languages (1998-2001).
[1992, 2001] researcher in the Artificial Inteligence Research Group, Computer Science Department, Universidad Nacional del Sur - Argentina. Funded Research Projects:
- Non Monotonic Reasoning, Belief Revision and Theory Change (1994)
- Defeasible Reasoning Systems (1995-1996)
- Logic and Argumentation Systems (1997-1999)
- Belief Revision, Argumentation and Defeasible Reasoning (2000-2001)
I have also been a visitor in the following Universities:
· Department of Computer Science of the University of Exeter (UK): [July 1997 - Dec. 1997], [Jan. 2000 - March 2000] and [Jan. 2001 - Feb. 2001].
· Department of Computer Science of the University of Rochester (U.S.A.): [July 1998 - August 1998].
Publications: see my list of research publications for details about results published in Journals, Conferences, Workshops and also my Editorial Work and Technical Reports.
· Co-Editor in Chief for the Journal on Ambient Intelligence and Smart Environments (JAISE). Published by IOS Press
· Editor in Chief for the Book Series on Ambient Intelligence and Smart Environments. Published by IOS Press.
Also a member of the Board of Editors for the following journals:
· Informatica (An International Journal of Computers and Informatics). A publication of the Slovene Society of Informatika.
· the International Journal of Enterprise Information Systems (JEIS). A publication of Taylor & Francis.
· the International Journal of Universal Computer Science (JUCS). A publication of the Know-Center in cooperation with Springer Co. Pub., Joanneum Research and the IICM, Graz University of Technology.
· the International Journal of Smart Home. A publication of the Security Engineering Research Support Center, Korea.
See other contributions as an editor in my list of research publications
Organization of technical events: throughout the years I have contributed to the scientific community helping to organize several events as a Program Committee, Steering Committee member or co-chair. The broad areas covered by those events are: Artificial Intelligence, Ambient Intelligence, Smart Homes, and Software Engineering.
Hobbies: birdwatching and hillwalking. I enjoy listening to music from all over the world and from different periods (the 'baroque period' and JS Bach being my favourites). I also have the hobby of thinking once I'll be able to continue other previous music-related hobbies (cello playing and singing) or reading Buddhist and Taoist philosophy and practicing Tai-Chi-Chuan...