|
|||
Dublin City University |
|||
|
|||
David Sinclair | |||
|
|||
![]() Information Management The Information Management Group has three research themes: Digital Multimedia, Database Engineering and Interoperable Systems, and Educational Technologies. The Centre for Digital Video Processing (CDVP) researches and develops techniques and tools to automatically analyse and index digital video information, and allow content-based operations including browsing, searching, and summarisation. Researchers in Database Engineering and Interoperable Systems develop formal and informal models for constructing database systems and on the construction of interoperable layers between heterogeneous information systems. Current research in Educational Technologies focuses on architectures and infrastructures for interactive Web-based teaching and learning environments that use sound pedagogical principles to forge a synergy between people, computers and information exchange, to really improve the way students learn. Dependable Systems The focus of this group is the development of reliable and secure software, covering the full software development cycle from software project management to software development methodology to formal programming and program verification. Currently funded projects include IMPROVE which is concerned with implementing protocol verification for E-commerce, Identity Based Encryption which is a public-key cryptosystem where any string is a valid public key, including email addresses, and Phrasal Programming which is a new formal approach to the construction and verification of software. Ongoing research in software process and project management focuses on improving the processes by which software is developed. Language and Intelligence This group is involved in research and application development in two areas. The first is Speech and Language Processing, including Machine Translation, Speech Processing, Computational Models of Semantics, Treebanks, Formal Syntax, Digital Signal Processing, Computer-Assisted Language Learning, and Probabilistic Natural Language Processing and Parsing. A currently funded project is the Automatic Annotation of Treebank Corpora. Research in Artificial Intelligence is concerned with Artificial Minds, Computational Models of Cognition, Knowledge Representation, Human-Computer Interaction, Neural Networks and Autonomous Agents. Modelling and Scientific Computing This group is exploring the application of distributed and grid computing to numerical models of the natural and artificial world. The systems being modelled arise in a variety of fields including physics, biology, chemistry, eco-and other hybrid sciences, finance, socio-economic phenomena, and many others. In some cases, a formal model may be proposed and investigated; in others large amounts of data may be mined and empirical conclusions drawn or computational models may be designed and tested against available data. An example of a currently funded project is Computer Modelling of Cellular Biotechnology. David Sinclair, School of Computing, Dublin City University, Glasnevin, Dublin 9; Tel:353-1-700-8980; Fax: 353-1-700-5442; E-mail: [email protected] ; Web: www.computing.dcu.ie |
|||