| School of Computer Science and Engineering (CRICOS Provider No. 00098G)

CSE Research Areas

Research Areas

61 records found

Name	Office	Phone	Email	Research Areas
Mike Bain	K17 401H	56935	mike	Machine Learning Inductive Logic Programming Behavioural Cloning Concept Analysis Bioinformatics
Boualem Benatallah	K17 407	54767	boualem	Process Spaces End User Centric Integration
Alan Blair	K17 412C	57131	blair	Machine Learning Neural Networks Robotics Evolutionary Computation
Richard Buckland	K17 210	54063	richardb	Security Engineering Cryptography Distributed Computing Computational Algebra Formal Methods Teaching and Learning
Xiongcai (Peter) Cai	K17 308	55644	xcai	Machine Learning Data Mining Information Retrieval/Filtering Knowledge Acquisition Computer Vision
Manuel Chakravarty	K17 510C	54495	chak	Programming Languages Compilers Functional Programming Type Systems Language-Based Security Concurrency Parallelism Multicore Systems High-Performance Computing Program Transformation
Roger Chen	K17 412-08	56906	yuc	Computer Vision Machine Learning
Chun Tung Chou	K17 608	57203	ctchou	Wireless Mesh Networks Wireless Sensor Networks Multimedia Distribution QoS and Traffic Engineering Optimisation of Computer Networks
Paul Compton	K17 412D	56939	compton	Artificial Intelligence Knowledge Acquisition Knowledge Based Systems Model Based Reasoning
Oliver Diessel	K17 501B	57384	odiessel	Reconfigurable Systems: design flows, tools, run-time environments Reconfigurable Architectures: models, devices Reconfigurable Computing: applications, algorithms, circuits
Hossam El Gindy	K17 217F	54034	elgindyh	Combinational Algorithms Computational Geometry Parallel and Network Computing Reconfigurable Computing and Architectures FPGA-based Architecture & Algorithms
Kevin Elphinstone	L5 NICTA room E626	83060573	kevine	Operating Systems Microkernels Multiserver Systems Computer Architecture
Norman Foo	L5 NICTA		norman	Knowledge Representation Belief Revision, Merging, Negotiation Nonmonotonic Reasoning Logics of Action Logic Programming Simulation and Modelling Systems Theory Emergence Ontologies Social Agents, Trust
Bruno Gaeta	K17 401C	57213	bgaeta	Bioinformatics Computational Immunogenetics Bioinformatics of Gene Regulation
Adnene Guabtni	J17 423	56931	aguabtni	Business Workflow Evolution Concurrency Theory and Practice Data Mining, Graph Visualization Database Query Processing Distributed Database Systems Distributed Computing Object-oriented Design and Technology Process Spaces Services Oriented Computing Web Services and Business Process Modelling Web Services and Data Integration Workflow Management Systems
Annie Guo	K17 501F	57136	huig	System Level Pipelining ASIP Design Low Power Design Embedded Systems
Mahbub Hassan	K17 607	56198	mahbub	Mobile Networks Mobile Computing Vehicular Ad-Hoc Networks
Gernot Heiser	L5 NICTA	83060550	gernot	Operating Systems Virtualization Embedded Systems Security Power Management Multicore Systems
Bernhard Hengst	K17 401E	56993	bernhardh	Robotics Research and Development with the Centre for Autonomous Systems
Peter Ho	K17 212	54052	peterh	Software Engineering Multimedia Educational Issues Mobile Computing Microprocessors and Embedded Systems
Achim Hoffmann	K17 406	56934	achim	Artificial Intelligence Expert Systems Knowledge Acquisition Knowledge-Based Systems Learning Algorithms Philosophical Foundations of AI Theory of Neural Networks
Aleksandar Ignjatovic	K17 504	56659	ignjat	Applications of Mathematical Logic to Computational Complexity Signal Representation and Processing Algorithms for Embedded Systems
Nawid Jamali	K17 301-09	56917	nawidj	Machine Learning Artificial Intelligence Robotics
Ross Jeffery	ATP Australian Technology Park	55628	rossj	Software Process Modelling Software Quality, Software Development, Cost Estimation Cost Modelling, Software Inspections, Software Process Improvement Software Experience Factory Software Metrics, Software Design
Chengyu Krystian Ji	K17 217-03	56862	krystianj	Conditional Logic Reasoning Artificial Intelligence Agent Architectures Logics of Action Security Engineering Cloud Computing
Salil Kanhere	K17 612	56927	salilk	Mobile Networks Participatory Sensing Wireless Mesh Networks Wireless Sensor Networks Vehicular Ad-Hoc Networks Quality of Service in the Internet Network Security
Gabi Keller	K17 501I	56032	keller	High-Performance Computing Programming Languages Program Transformation
Tim Lambert	K17 510B	56496	lambert	Computational Geometry Computer Graphics
Zhidong Li	L5 NICTA		zlix679	Artificial Intelligence Computer Vision Data Mining Knowledge-Based Image Understanding Machine Learning Pattern Recognition
Xuemin Lin	K17 503	56493	lxue	Algorithm and Complexity Distributed Database Systems Data Mining, Graph Visualization Spatial Database Systems Computational Geometry
Yi Lu	K17 501K	57369	ylu	Theory and Practice of Programming Languages Formal Methods for Program Reasoning and Verification Type Systems Language-Based Security
Ashesh Mahidadia	K17 310	56556	ashesh	Artificial Intelligence Machine Learning Knowledge Acquisition Data Mining Knowledge Discovery Bioinformatics
Nadine Marcus	K17 401B	55173	nadinem	Human Computer Interaction Adaptive E-learning Modelling of Human Cognition Cognitive Load Theory Human Robot Interaction
Eric Martin	K17 409	56936	emartin	Logical foundations of AI Formal Learning Theory Logical Paradigms of Inductive Inference Logic Programming
Matthew McGinity			mmcginity	Virtual Reality and its Application to Interactive and Immersive Cinema
Carroll Morgan	K17 201D	55317	carrollm	Formal Specification and Refinement Probabilistic Refinement Concurrency
Maurice Pagnucco	K17 104A	55518	morri	Artificial Intelligence Belief Revision Cognitive Robotics Nonmonotonic Reasoning
Helen Hye-Young Paik	K17 401A	54095	hpaik	Web Services and Business Process Modelling Web Services and Data Integration Workflow Management Systems Services Oriented Computing
Nandan (Paramesh) Parameswaran	K17 217D	56941	paramesh	Artificial Intelligence Expert Systems Planning Knowledge Representation Production Systems
Sri Parameswaran	K17 510D	57223	sridevan	Hardware Software Co-Design VLSI Systems Low Power Design
Arthur Ramer	K17 209	56875	ramer	Combinatorial Problems and Algorithms Formal Methods of Reasoning Fuzzy Databases Fuzzy Systems and Evidence Theory Management of Uncertainty and Possibility Theory Theory of Databases Systems Quantum Rationality - Use of Quantum Logic in Decision Pocesses Business Workflow Evolution
Ken Robinson	K17 208	54045	kenr	Formal Methods Functional Programming Languages Parsing and Translation Programming Languages and Implementation Software Engineering Specification and Refinement
Malcolm Ryan	K17 401F	56921	malcolmr	Artificial Intelligence Computer Game Design Interactive Narrative Natural Language Planning Robotics
Claude Sammut	K17 401J	56932	claude	Artificial Intelligence Machine Learning Robotics Conversational Agents Logic Programming Knowledge-Based Image Understanding
John Shepherd	K17 410	56494	jas	On-line Learning Systems Database Query Processing Information Extraction Web Searching Multimedia Databases Information Retrieval/Filtering Web System Architecture
Arcot Sowmya	K17 412E	56933	sowmya	Computer Vision Learning in Vision Medical Image Interpretation Satellite and Aerial Image Interpretation Visual Robotics and Robotic Vision and Control Concurrent Real-Time and Distributed Systems Reuse Techniques in VLSI/SoC Vision and ControlSoftware Engineering
Anuraag Sridhar	K17 412-12	56532	anuraags	Computer Vision Computer Graphics Human Computer Interaction Virtual Reality and its Application to Interactive and Immersive Cinema
Basem Suleiman	National ICT Australia (NICTA)	93762071	basems	Web Services and Business Process Modelling Workflow Management Systems
Evan Tan	L5 NICTA	83060448	evant	Wireless Mesh Networks Multimedia Distribution QoS and Traffic Engineering
Andrew Taylor	K17 401G	55525	andrewt	Application of Logic Programming Compiler Technology Computers and Biology Knowledge Acquisition Knowledge Representation Logic Programming Program Analysis Signal Recognition
Ron van der Meyden	L5 NICTA	83060480	meyden	Theory of Computer Security Logic in Computer Science Logic of Knowledge and Belief Temporal Logic Theory of Distributed Systems
Srikumar Venugopal	K17 412B	56255	srikumarv	Cloud Computing Resource Management Virtualization Services Engineering High-Performance Computing Data-Intensive Distributed Computing
Wei Wang	K17 507	57162	weiw	XML and Semi-Structured Data Data Mining Data Warehouse and OLAP Database Query Processing Information Extraction Information Retrieval/Filtering Plagiarism Detection Spatial Database Systems Web Searching Database Query Processing Data Mining
Ingo Weber	J17 424	56626	ingow	Business Workflow Evolution Planning Services Oriented Computing
Geoff Whale	K17 217B-01	54046	geoffw	Algorithm Animation Natural Language Processing Plagiarism Detection Program Similarity
Bill Wilson	K17 405	56876	billw	Cognitive Modelling Neural Networks Tensor Product Networks Connectionist Modeling of Relational Cognition
Wayne Wobcke	J17 433	56475	wobcke	Intelligent Agents Agent Architectures Plan Recognition Belief Revision Nonmonotonic Reasoning Conditional Logic
Daniel Woo	K17 307	56495	danielw	User interface design and evaluation Human Computer Interaction Location Based Technologies Speech Applications Mobile Computing Computer Telephony
Hui Wu	K17 501D	56572	huiw	Real-Time Embedded Systems Parallel and Distributed Computing Wireless Sensor Networks
Jingling Xue	K17 501L	54889	jingling	Compiler Optimisations Object-Oriented Languages Compilers for Embedded Systems Parallelising and Optimising Compilers Parallel and Distributed Computing Program Analysis Programming Languages
Xiang Zhao	K17 201-14	57708	xzhao	Database Query Processing Approximate Query Processing and Statistics Data Mining, Graph Visualization XML and Semi-Structured Data

###
Site maintained by webmistress@cse.unsw.edu.au
Please read the UNSW Copyright & Disclaimer Statement