Research Laboratories

Applied Symbolic Computation Laboratory (ASYM)

  • Research Areas: Symbolic computation, computer algebra algorithms and systems, high-performance computer algebra, polynomial system solving, quantifier elimination, applied computer algebra, engineering education, problem solving environments
  • Research Goals: Design, analyze and implement algorithms in computer algebra and symbolic computation; study application problems and mathematical foundations; provide high-performance implementations and software systems
  • Faculty: Bruce CharJeremy Johnson
  • Location: University Crossings, room 148

Geometric and Intelligent Computing Laboratory (GICL)

  • Research Areas: Intersection of engineering design, graphics and artificial intelligence
  • Research Goals: Build interdisciplinary systems that contribute toward solutions to problems in robotics, computer-aided design, engineering knowledge management, and digital preservation
  • Faculty: William Regli
  • Location: University Crossings, room 144

High Performance Computing Laboratory (SPIRAL)

  • Research Areas: Automated performance tuning, algorithm/program generation and optimization, domain specific languages and compilers, high performance computing, parallel computation, performance modeling, special purpose hardware
  • Research Goals: To automate the implementation and optimization of high performance signal processing algorithms on different computer architectures (existing and new)
  • Faculty: Jeremy Johnson
  • Location: University Crossings, room 148

Privacy, Security and Automation Laboratory (PSAL)

  • Research Areas: Intersection between artificial intelligence, privacy and security, and human-computer interaction
  • Research Goals: Explore the use of artificial intelligence techniques in adversarial contexts and their application to security and privacy problems; impact of automated linguistic analysis on privacy and anonymity; the use of computer vision in detecting phishing attacks; augmenting collaborative filtering with machine learning; the effect of agent failure in distributed constraint reasoning
  • Faculty: Rachel Greenstadt
  • Location: University Crossings, room 144


  • Research Areas: Drexel Research on Play (RePlay) Laboratory is a collaborative effort for teaching, researching, designing and building video games between the Digital Media program (Westphal College of Media Arts & Design) and Department of Computer Science (College of Engineering)
  • Research Goals: Explore theory and academic work related to gaming and 3D simulations; gain familiarity with common game programming tools and software packages; formally develop potential game ideas through design documents, market research, and proof-of-concept demonstrations; engage in both short-term and long-term game production and research
  • Faculty: Paul Diefenbach (Digital Media), Frank Lee (Computer Science)
  • Location: University Crossings, room 011

Software Engineering Research Group (SERG)

  • Research Areas: Reverse engineering, autonomic computing, software maintenance, software security
  • Research Goals: Create formal models to improve the maintainability, security, and fault-tolerance of complex software systems
  • Faculty: Yuanfang Cai, Spiros Mancoridis, Giuseppe Valetto
  • Location: University Crossings, room 145

Vision and Cognition Laboratory (VisCog)

  • Research Areas: Applied algorithms, pattern recognition, cognitive modeling, computer vision, human-computer interaction
  • Research Goals: Recognize patterns of human behavior; develop new algorithmic methods to be applied to practical problems; understand human cognition via computational modeling
  • Faculty: Dario SalvucciAli Shokoufandeh
  • Location: University Crossings, room 146

Vision and Graphics Laboratory

  • Research Areas: Computer Vision, computer graphics, video analysis, machine learning, geometric modeling, biomedical image analysis, biological simulation, self-organizing geometry
  • Research Goals: Accurate analysis and synthesis of real-world appearance; robust 3D geometry processing; effective video surveillance; development of interactive level set modeling technology; statistical analysis of tumor histology images for cancer diagnosis; simulation of chemotaxis-based cell aggregation; simulation of cell deformation that produces large-scale biological structures; cell-biology-inspired algorithms for spatial self-organization
  • Faculty: David BreenKo Nishino
  • Location: University Crossings, room 150