Electrical Engineering _ Computer Engineering

Document Sample
Electrical Engineering _ Computer Engineering Powered By Docstoc
					    Department Profile
• 18 faculty:
    12 tenured (8 full, 4 associate), 5 assistant. 1 lecturer
          Prince of Asturias Endowed Chair in Information Technology
                               (jointly with EECE)
•   4 post docs
•   Undergraduates: ~225 majors; BS degrees: ~40
•   Graduate students: ~120 Masters, ~80 Ph. D.
•                   Degrees: MS: ~20, Ph. D.: 4
•   Undergraduates: >20% Female; >35% Minorities
•   Graduates: >20% Female; 40-60% Foreign
•   Funding: (2004-2005)
      NSF 2M; DARPA $250K; Sandia $400K; Los Alamos $400K;
       Total: $3M
Department Objectives

• Excellence in teaching and research

    Comprehensive curricula for diverse student population
    Attracting and retaining minority students and faculty
    Focus on interdisciplinary research

• Strong collaborations with national and other R&D Labs
• Seek partnerships on campus, within New Mexico as
  well as outside
• Rank among the top 30 departments
New Faculty
• Andree Jacobson
   MS (U. Arizona)
    Computer Science Education
Department Strengths
• Nationally recognized research programs in adaptive
  computation, automated reasoning, and biology-related
• Faculty well-known for text books written for undergraduate
  courses and research monographs (~40 books)
• Department known for picking niche interdisciplinary research
  areas, e.g., genetic algorithms, computer immunology, light-weight
  distributed operating systems, computational physics, neuroscience,
  computational biology, new paradigms of computing
• The only accredited BS program in CS in New Mexico
• Strong interactions with Sandia, LANL, Argonne, and SFI
Biology related
• Adaptive Systems Approaches to artificial immunology,
  models of natural immune systems and cancer;
  evolution of computing systems
    Forrest, Ackley
• Knowledge Discovery in Bio-informatics
    Helman, Veroff, Lane
• High Performance computing approaches to
  computational molecular biology and phylogeny
    Moret, Bader
• Neuro-Science
    Lane, Williams
New Paradigms of

• Quantum computation – Algorithms,
 Models, Languages and Complexity

• Chemical computing – Boolean circuits,
 Finite state machines, Reliability and
 Robustness (Stefanovic)
Adaptive Computation
Automated Reasoning

   Editor-in Chief:   Robert Veroff
   Deepak Kapur
Books by Faculty
Recognition -- Students
• Top Awards in SOE -- Breece Award (for highest GPA) to
  Monica Rogati (1999), Scott Carter (2000), Ryan Gerety
  (2001), Cris Riley Wilson (2001), Stephen Bauer (2002),
  Clint Morgan (2003), Colin Green (2004), Lisa
  Glenndening (2005).

• Computing Research Association (CRA)
  Outstanding Undergraduate Award: Honorable
  Mention for 2000 (Monica Rogati), 2001 (Scott Carter),
  2002 (Cris Riley Wilson), 2003 (Breanne Duncan),2004
  (Clint Morgan), 2005 (Rory Mcguire)
Recognition -- Faculty

• Program committees of many national and international
• Invited talks at conferences, government and industrial
• Research discussed in Economist, Nature, National
  Public Radio (NPR), Albuquerque Journal
• Editorial boards of over 20 journals and book series
• Top awards in SOE
Research Funding

• Increased by ~100% over last 5 years

• ~200-250K per faculty

• Almost every faculty member has NSF funding
      3   large NSF Information Technology Research (ITR) grants
      3   medium ITR grants
      3   small ITR grants
      3   NSF CAREER awards
Major Research Grants
• Stefanovic: NSF CAREER Award; Molecular/chemical Computing
  (NSF-QuBIC); many other NSF awards.
• Saia: ITR Award: Scalable Attack-resistant Peer-to-peer Networks
• Lane: (NIH) “Bayesian Analysis of Neural-Behavioral Analysis in
  Mental Illness”
• Bridges: (DOE) “High End Cmputing with K42.”
• Moore: Quantum Computing (NSF-QuBIC), 2 NSF grants from
  Theory and Mathematical Physics Division.
• Maccabe: (DOE) “A Framework for Adaptable Operating and
  Runtime Systems.”
• Bader and Moret: 3 NSF grants (jointly with U Texas, Austin) in
  computational biology and phylogeny. Large ITR in collaboraton
  with several universities
• Ackley and Forrest: NSF and DARPA grants on evolutionary
  computation; 2 ITR awards in collaboration with CMU, Yale.
• Helman and Veroff: NIH and DARPA awards
Research Activities
• Adaptive Computation (Forrest, Ackley, Williams, Lane)
    Genetic Algorithms, Computer Immunology, Artificial Life, Evolutionary and
       Living Computation, Neural Networks, Applications of Wavelets, Stochastic
       Modeling, Machine Learning
• Automated Reasoning (Kapur, Veroff)
    Term Rewriting, Mechanizing Induction, Unification, Termination, Linked
• Neuroscience, Human Visual System, Computer Vision, Image
  Processing (Williams)
• Radiation Oncology (Luan)
• Physics and Computation, Quantum Computing (Moore)
• Molecular/Chemical Computing (Stefanovic)
• Computational Biology (Forrest, Lane, Bader, Moret)
• Symbolic and Numeric Computing (Kapur)
      Geometry Theorem Proving, Polynomial Equation Solving,
       Multivariate Resultants, Linear Algebra
Research Activities
• Specification and Verification (Kapur, Veroff)
• Compilers, Architecture, Memory Management (Stefanovic, Bridges)
• Scalable Systems, High Speed Networks, Clusters (Maccabe,
• AI, Cognitive Science, Diagnostics (Luger, Lane, Kapur, Veroff)
• Information Analysis: Data Bases and Data Mining (Helman, Veroff,
• Transaction System and Recovery Mechanisms (Pedregal-Martin)
• Graphics and Visualization (Angel, Caudell, Williams)
• Parallel, Distributed, Collaborative and High Performance
  Computing (Bader, Ackley, Maccabe, Moret, Williams, Smith)
• Theory (Saia, Moore, Bader, Moret, Helman)
Recent Ph.D. Dissertations
•   Anil Somayaji,Operating System Stability and Security through Process Homeostasis
•   Rolf Riesen,Message based Error-Correcting Protocols for Scalable High Performance
•   Chu Jong, A Framework for Scalable Performance Tool
•   Joseph Lewis, Self-organizing Adaptive Representation in a Behavior-based Robot
•   Lisa Maynes, A Software Framework for Engineering Analysis Process Management
•   Patrik D’Haeseleer, Reconstructing Gene Networks from Large Scale Gene Expression
•   Srinivas Doddi, Approximation Algorithms for Geometric Packing and Covering
•   Willem Hordijk, Dynamics, Emergent Computation and Evolution in Cellular Automata
•   Jon Helfman, Image Representation for Access and Similarity-based Organization of
    Web Information
•   Steve Hofmeyr, An Immunological Model of Distributed Detection and its Application
    to Network Security
•   Mihaela Oprea, Optimizing the Antibody Repertoire for Pathogen Recognition
•   Jason Stewart, Single Display Groupware
•   Pat Crossno, Isosurface Extraction from Volume Data using Particle Systems
Recent MS Theses
•   Christopher Lamb: Evolutionary Defenses to Denial of Service Attacks
•   Ge Li: Parallel Rendering of High-resolution Displays
•   Dennis Lucero: Transient Cplant
•   Robert Abbott: Cancer Sim- A Computer based Model of the Hallmarks of Cancer
•   Adam Siepel: Exact Algorithms for Reversal Median Problem
•   Yan Xu: Convex Hull Algorithm Experiments
•   Chengyi Gao, Mining Association Rules with Item Constraints
•   Gerald Mayer, Probabilistic Modeling of Technology Hierarchies using Bayesian
•   Daniel Small, Real-time Shape from Silhouette
•   Jun Zhang, Object-oriented Particle Systems for Visualization
•   Curtis Sirl-Moore, Automatic Synthesis of Isotropic Textures on the Sphere from
    Sample Images using the Laplacian Pyramid Transform
•   Elena Settani, Improving Dorm Room Assignments using Simulated Annealing
•   Junli Zhang, Parallel Inference Algorithms for Stochastic Models
•   Rongkun Zhao, Comparison between Inference Algorithms for Bayesian Networks
Interactions with other
Departments and Labs
•   EECE - Maccabe , Moret, Angel
•   HPC – Maccabe (Director), Helman, Veroff, Angel
•   Biology - Forrest, Lane, Moret, Bader
•   Linguistics, Psychology, Neuroscience - Luger, Tang, Williams
•   College of Fine Arts - Angel
•   Medical School - Helman, Veroff, Forrest, Angel, Moret, Bader
•   Santa Fe Institute - Forrest, Moore
•   Sandia National Labs - Luger, Maccabe, Saia, Lane, Kapur
•   Los Alamos National Labs - Helman, Veroff, Forrest, Moore, Moret, Angel,
    Maccabe, Kapur
•   CSRI (Sandia) and LACSI - Kapur, Maccabe, Bridges, Caudell
•   Argonne National Labs - Veroff
•   Intel - Forrest, Maccabe
•   AT&T Labs - Bridges
Other UNM Units

• College of Arts and Science – Biology,
  Psychology, Linguistics, Physics, Public
   Forrest, Lane, Moret, Luger, Moore, Kapur
• College of Fine Arts: Angel
• School of Medicine
   Helman, Veroff, Forrest, Luan, Angel, Moret

• Sandia National Labs – CSRI, Robotics Institute, CCIM
    Maccabe, Kapur, Luger, Lane, Saia
• LANL – LACSI, CCS, Nuclear Non-proliferation (Export
    Kapur, Maccabe, Helman, Veroff, Moore, Angel and Caudell
• Santa Fe Institute – Forrest, Moore
Other Collaborations
• Funded Joint Research Projects:
     3 large NSF ITRs – Stefanovic (2000), Moret et al (2003), Forrest
         UC (Berkeley, San Diego), Yale, UT Austin, U of Central Florida, CMU,
          Stanford, U. Mass, Princeton
     3 medium NSF ITRs – Stefanovic and Moore (2002, 2003), Forrest
     Other NSF awards – Kapur (2001), Moret and Bader (2001),
• Nonfunded Research activities – joint publications, serving on
  dissertation committees
     SUNY (Albany), U. Nebraska, Clarkson, U. Texas (Austin), Ohio State, Tata
      Institute of Fundamental Research (India), IIT Mumbai (India), UPM and UPC
      (Spain), RWTH (Aachen, Germany)
Industrial Collaborations

• Intel – Forrest, Maccabe
• IBM – Moret, Bader, Bridges, Maccabe
• Sun Microsystems – Moret and Bader,
• Microsoft – Stefanovic, Moore
• HP – Moore, Stefanovic