wireless networks, mobile computing, cloud computing, networked detection, sening and fusion.

Smart Visualization: One picture is worth a thousand words. For thousands of years, people have been using information graphics—visual representation of data—to comprehend and analyze information. However, creating high-quality visualization is a daunting task especially for ordinary people who are neither graphic artists nor computer scientists. To democratize the use of visualization, I am interested in automated visualization design and tailoring the visual responses to highly dynamic user interaction situations and unanticipated information. More recently, I have been working in the area of interactive visual text analytics, which combines state-of-the-art text analytics with novel interactive visualization to empower average business users to analyze massive amounts of textual data and facilitate their decision making (e.g., making a purchase decision based on the visual text analysis of extensive consumer reviews).

Mixed-initiative Human-Computer Interaction (HCI): I believe that the future of HCI is to facilitate the development of a man-computer symbiosis where both humans and machines can leverage their strengths and avoid their weaknesses. I am especially interested in the development of mixed-initiative intelligent information systems, where the humans and computers work together collaboratively to facilitate information seeking an analysis. To enable computers to take sensible initiatives and push this class of systems to main stream applications, I am particularly interested in developing novel and practical computational approaches to the problem. Moreover, I am interested in exploring new interaction paradigms where users can interact with complex system responses (e.g., system-derived text summarization results) and the use of interactive machine learning in support of an adaptive, mixed-initiative human-computer interaction, where both humans and computers can learn from each other.

Opportunistic Social Computing: The use of social software (e.g., social networking, micro-blogging, and online forums) has penetrated the masses. I am very much interested in finding out how such phenomena will change our daily lives as well as its long-term impact on our world. In particular, I am especially interested in how social computing will bring us opportunistic information and collaboration partners whenever we need them but without subjecting ourselves to “constant availability and instant intimacy” as we do today. To achieve this goal, I believe there are fundamental research issues to be addressed.They include but not limited to:

•Understanding, modeling, and automatically deriving social profile of a person, a community, or an organization based on their digital footprints (i.e., online behavior);
•Use of the derived social profiles to objectively reveal key characters of individuals and organizations, assess community/organization dynamics, value, and risks, predict the development or growth of individuals, communities and organizations, and help establish opportunistic collaborations among individuals and organizations;
•Monitoring social channels (e.g., facebook and twitter) and detecting most valuable channel(s) for extracting social intelligence (e.g., knowledge about car repair or the consumer complains/needs); Mining of social messages to distill insight (information or people) for opportunistic information sharing (e.g., sharing the extracted consumer complains), knowledge acquisition (e.g., asking target audience to voice their problems and suggest their solutions), and crowd-sourced problem solving (e.g., social Q&A). See my webpage for more info.

The main focus of my work is on energy efficient computing. Energy consumption has already become one of the most important design parameters in electronic systems. In large scale data centers it is because of the high cost of powering and cooling the equipment. We are currently working on design of VM level energy management strategies that integrate measurement of power, temperatures and workload characteristics, while monitoring QoS of applications running within VMs. In addition, we are evaluating how to integrate SmartGrid information with VM level energy management strategies and how to leverage accurate predictors of the availability of renewable resources that we developed. This work is funded by a large center on Multiscale Systems (www.musyc.org).

We recently also won an NSF Expedition on variability. The work here focuses on how to address variability issues in general purpose systems due to environmental, manufacturing and vendor differences. The current focus is on cooling and thermally aware scheduling techniques for 2 and 3D integrated server and mobile systems.

Bo Begole is a Principal Scientist and Manager of the Ubiquitous Computing Area at the Palo Alto Research Center. He is an applied computer scientiest who aims to create novel systems and capabilities for end-user applications. His past work includes systems that provide synchronous collaboration of single-user applications, computer-mediated communication, distributed interpersonal awareness, sensor-based interruptibility detection, presence modeling and prediction, media device interoperability and control, reducing information overload and context-aware mobile systems.

Bo’s unifying research interest is in the area of Behavior Modeling — Using sensor and data inputs, along with inference algorithms, to identify and predict an individual’s current activity and interest in particular information. He likes to work with people who have broad interests and creative approaches to solutions.

Bo received a B.S. in 1992 in Mathematics from Virginia Commonwealth University, an M.S. in 1994 and a Ph.D. in 1998 in Computer Science from Virginia Tech. Prior to his studies, Bo served in the US Army as an Arabic language translator specializing in Egyptian, Libyan and Iraqi dialects. Bo was recently a co-Chair of the 2008 conference on Computer-Supported Cooperative Work (CSCW 2008) and was the Technical Program chair of CHI 2011.

My research group (Advanced Data Management Technologies Laboratory) focuses on user-centric data management for network-centric applications. In a nutshell, my research tries to remove the optimize-for-one-global-metric mentality of modern data management systems and, instead, bring users into the loop, by allowing them to specify preferences, especially in the presence of multiple metrics that are in direct trade-off with each other (for example Quality of Service versus Quality of Data). This is particularly useful in periods of high load (or other resource “pressure”), since the system is able to allocate crucial system resources according to users’ preferences, thus increasing the overall user satisfaction by meeting their goals.

We are working on multiple different projects under this broad philosophy, from web-databases (NSF CAREER award), to data stream management systems (NSF IIS award), to energy-efficient data management (NSF EAGER award).

Lately, we have also worked on scientific data management, with particular emphasis on annotations and workflows, under two domains: biological domain (NIH-funded Center for Modeling Pulmonary Immunity) and the astronomy domain (NSF CDI award). These are done through collaborations with the Medical School and the Department of Physics and Astronomy of the University of Pittsburgh.

My research interests are in security and algorithmic number theory. In the field of security, my research is currently focused on wireless security (ad hoc networking, wireless standards, roaming and handover), privacy enhancing technologies (in particular fairness in privacy-preserving multi-party computations), biometrics (cryptographic key generation from biometrics based on secret sharing techniques), and security economics. In algorithmic number theory, my research is centered on lattice theory (in particular on developing new algorithms and heuristics for lattice basis reduction) and exploring the effective use of GPUs.

My current research addresses two frontiers in design tools.
For experts, I am investigating how to create the ideal design studio of the future. New input technologies and platforms are rapidly proliferating.
These devices are very promising for professional work because of the richness and nuance of input they provide. I investigate how such technologies can be harnessed to augment professional design practice.

For amateurs, I am developing structured ways of sharing tool expertise and knowledge. Empirical data suggests that designers as well as programmers rely heavily on online resources such as tutorials, examples, and Q&A with online peers to gain expertise. We are working on integrating design tools with online platforms.

HP Labs Immersive 3D

HP Labs is conducting research using large display walls, 2D and 3D. HP has multiple product and services offerings in the so-called “Big Walls” area ranging from digital signage to large telepresence facilities (such as HP’s Halo). Our research extends this by following two main, intertwined branches. The first examines a new style of 3D entertainment, and the other targets commercial and industrial uses for 3D enabled operations centers, brainstorm or war rooms, and control centers. We are conducting research in:
• Computer vision, image processing, and recognition,
• Robust multi-imager and multi-camera modeling and calibration,
• 3D data visualization,
• High performance computation, transport, and imaging on hardware accelerated platforms (CPUs and/or GPUs),
• Novel human-big wall interaction modalities across heterogenous systems, and
• Local and remote collaboration technologies.

We have publicly shown our Immersive 3D Entertainment efforts with events at the 2010 Sundance Film Festival and the Earth Wind and Fire Concert at 2011 CES in Las Vegas (links listed below). HP’s goal is to experiment with non-standard aspect ratios (e.g. 3:1 for concert stage, 5.5:1 for basketball court) to allow the audience to experience the event as though you are seated at the best seat in the house. This is a break from the traditional movie view from the director’s eyes and allows the audience to “look around” and soak up the scene which works so well in 3D. To do this, we are experimenting with large multi-projector 3D displays (Pluribus), multi-imager camera capture (Herodion), and advanced digital image pipelines (Pericles). We conduct in-situ laboratory studies at entertainment events such as concerts, sports events, fashion shows, and other gaming.

We have built an experimental operations center with multiple 2D and 3D walls and other services. Together with many HP customers, we are exploring novel ways to use Big Walls to address issues in areas such as disaster recovery, emergency response, hospital wards, city monitoring and management, mergers and acquisition planning, product planning, and supply chain management. We are creating a next generation capability by using Big Walls together with mobile devices, touch surfaces, 3D data visualization techniques, and techniques for displaying, manipulating and visualizing large amounts of unstructured data. In addition to our research, we participate in the real world by providing support for HP’s worldwide operations centers and the HP supported gallery at the Newseum due to open in 2012.

Links to entertainment reviews
HP 3D Live: CES Earth Wind and Fire concert

http://blogs.forbes.com/oliverchiang/2011/01/08/ces-hp-believes-in-3-d-too-but-on-a-larger-scale-much-larger/

http://www.monstercable.com/events/ces2011/3dexperience.asp

http://h20435.www2.hp.com/t5/The-Next-Bench-Blog/Earth-Wind-and-Fire-Going-Large-Live-and-in-3D-at-CES/ba-p/60745

http://www.hardwaregeeks.com/index.php/site/comments/hp_streams_concert_live_in_3d/

http://venturebeat.com/2011/01/14/hp-streams-earth-wind-fire-in-live-3d-on-a-huge-screen/

2010 Sundance Film Festival

http://philmckinney.com/archives/2010/01/sundance-and-3d.html

http://h20435.www2.hp.com/t5/The-Next-Bench-Blog/Stories-in-3D/ba-p/52743

HP Newseum announcements

http://www.hp.com/hpinfo/newsroom/press/2010/100930a.html

http://www.newseum.org/news/2010/09/hp-announcement.html

Design, implementation and evaluation of distributed services and applications that adapt and exploit social characteristics; algorithms for efficient computation of social graph metrics (e.g., centrality measures, triad census); experimental systems approach combined with theoretical and analytical evaluations.

We are looking for a post-doctoral fellow for the XIA Future Internet Architecture project.

The eXpressive Internet Architecture (XIA) addresses the growing diversity of network use models, the need for trustworthy communication, and the growing set of stakeholders who coordinate their activities to provide Internet services. XIA addresses these needs by exploring the technical challenges in creating a single network that offers inherent support for communication between current communicating principals–including hosts, content, and services–while accommodating unknown future entities. For each type of principal, XIA defines a narrow waist that dictates the application programming interface (API) for communication and the network communication mechanisms. XIA provides intrinsic security in which the integrity and authenticity of communication is guaranteed. XIA enables flexible context-dependent mechanisms for establishing trust between the communicating principals, bridging the gap between human and intrinsically secure identifiers. The current focus of the proj ect is on novel transport protocols, network support for services and mobile users, and content centric networking.

More information on XIA can be found on the project web site: http://www.cs.cmu.edu/~xia

I’m interested in all types of network security and wireless networks, including core networking research and applications such as medical devices and cloud computing.

Speech recognition, spoken language translation, situated spoken language understanding, machine learning

The Magnum Group at Virginia Tech is focused on investigating how the powerful processors and variety of sensors in new and planned
smartphones, such as Apple’s iPhone and Android-based smartphones, can be leveraged to build cyber-physical applications that collect sensor
data from the real world and communicate it back to cloud services for
processing and aggregation. The broad dissemination of these
smartphones, their accelerated processing power, range of sensors, and
pervasive cellular connections make them ideal platforms for building these
novel mobile cyber-physical applications. The Magnum Group investigates a broad range of topics in this area, such as augmented reality, crowdsourcing, communications middleware, cloud computing platforms, citizen scientists, traffic accident detection, modeling, and software product-lines. We are continually looking for and open to new ideas in this and related areas.

My research focuses on culturally appropriate uses of information and communications technology (ICT) to improve delivery of health information and health services in low-income countries. ICT offers many benefits, including access to online resources, electronic data collection, electronic storage and retrieval of patient data, etc. However, there may be social and cultural barriers to acceptance of the technology. Age, gender, class, education level, national or regional culture, level of urbanization, and political climate can all be potential barriers to acceptance. Careful understanding of social and cultural contexts is needed to avert such unintended negative effects. My research evaluates the acceptability and impact of handheld computers, mobile phones, websites, and other ICT in order to understand the social and cultural barriers to accepting ICT in healthcare settings in low-income countries.

My research builds on years of experience working with global health projects in sub-Saharan Africa. Currently, I supervise a program in Rwanda that offers medical and psychosocial care in two hospitals and four clinics throughout the country. I am also on the advisory board of a women’s health website with global reach.

My research is focused on engineering secure systems. In particular, I am interested in designing secure but highly efficient systems. Currently, I am exploring techniques for securing cloud computing and social networks. I am also interested in securing provenance, and trustworthy database and storage systems.

The Interface Ecology Lab imagines and develops integral and sensitive human-centered computing to support nuanced and exciting aspects of life, including how we form and express ideas and intentions, how we learn and innovate, how we gesture and communicate, how we coordinate and cooperate, how we participate and share, how we function under stress, and how we respond to crises. We connect diverse methodologies, engaging an interface ecosystems approach to engage computing in holistic avenues of human experience.

We have just developed an innovative multi-finger sensor, ZeroTouch. We are now poised to integrate ZeroTouch into interactive environments, developing new embodied bi-manual and free air interaction techniques and experiences.

We have released the open source meta-metadata language and architecture, for authoring platform-independent wrappers for heterogeneous information sources. Meta-metadata supports information extraction and knowledge integration. It facilitates writing programs that enable new human experiences of information visualization, physically-based modeling, and embodied interaction. Research here involves new knowledge semantics and modeling, on the one hand, and new interactive visual applications, on the other. Social media and digital libraries are connected.

We are developing special relationships with disaster response organizations. Texas Task Force 1 engages in major disasters, such as 9/11, and hurricanes Katrina, Rita, and Ike. TEEX Disaster Preparedness and Response runs an internationally-renowned academy for first responders. We are engaged both in developing zero fidelity simulation games for education, and in creating innovative multi-surface information systems for crisis response.

The typical search interface is great for finding a single element of information, but weak for information-based ideation tasks, in which the human goal is to to develop ideas with support and stimulus from information. The combinFormation platform reconceptualizes information-based ideation support as mixed-initiative information composition, integrating browse-search-collect-visualize-and-organize, while representing each collection as a connected whole. To validate composition, information-based ideation metrics and grounded theory are extended and synthesized, developing formative and summative evaluation methodologies. Application contexts include thesis writing in computer science, and design in architecture and mechanical engineering.

I work to understand motion and change in video — separating changes in seasons from changes over a day in outdoor time-lapse, capturing the motion patterns in an MRI video of a heart, or parsing the surveillance video of a intersection into traffic cycles. I mostly work on data-driven methods that could scale to work with (for example) all the webcams connected to the web, or within large scale, image based Citizen Science applications.

machine learning and applied cryptography to improve privacy, security, and fraud detection in the cloud, in social networks, and in ubiquitous computing applications

I have a broad interest in almost all disciplines of Computer Science, and have shifted my focus several times during my research career. My major of B.S., M.S., and Ph.D are all in control theory, but I spent most of my Ph.D time on the application of control theory to computer systems, especially deadlock avoidance in multithreaded software. I become a compiler and program analysis specialist after this exercise. My work at HP Labs was initially around the application of control theory to business process management systems. We focused on Service-Oriented Architecture and studied the service composition problem in great length. Lately I am working on Intelligent Transportation Systems. We are interested in building an IT platform that can collect and analyze large-scale sensor input in realtime from various sources, e.g., GPS probes, loop detectors, and close-circuit cameras.

My research is in mobile networking and distributed real-time algorithms based on data mining, with a specific application area in Intelligent Transportation Systems (ITS). Currently in Anchorage, many vehicles are transmitting data gathered from the vehicle’s OBD port back to a central server hosted at the University. This data includes over 200 vehicular parameters. Gathering data from individual vehicles instead of from hardware installed in the roadways at discrete locations allows applications that require much more precise and granular data to be developed. To gather data from individual vehicles requires specialized architectures, such as vehicle-to-infrastructure (V2I) or vehicle-to-vehicle (V2V). The applications that can be developed are endless, with a few examples being fastest paths, traffic congestion improvement, incident identification, roadway slippage determination, and emergency vehicle routing, among others too numerous to include. My research spans the areas of software and network architectures, mobile networking, and distributed real-time algorithms, so an emphasis in any of those areas is acceptable.

Our research group has two primary emphases: developing and building solutions for wireless networks in developing regions (particularly focusing on white space wireless networks), and developing a cell phone monitoring and data collection platform. In both cases, we do a lot of measurement in deployed wireless and/or cellular networks, and a lot of analysis of network performance, operation, etc. In rural regions, our focus is on protocol development for white space networks, novel solutions for bridging the digital divide, measurement and analysis of deployed wireless networks (wireless LANs and mesh networks), and development and test of solutions specifically for deployment in developing regions. We are partnered with organizations in Africa to develop solutions suitable for deployment in rural regions. We are currently monitoring an operational network in Zambia and are in the process of analyzing our collected data to design more appropriate network solutions. We are also developing energy efficient transmission solutions for white space networks, and recently studied the tradeoffs between channel width, data rate, and transmission power for real-time flows. We have a multi-radio, multi-node testbed, the UCSB MeshNet, on which we implement and test many of our solutions, as well as some in-situ test links in South Africa and Zambia. Both testbeds include GNURadio USRP boards.

The cell network projects are just beginning and now is a great time to get involved at the early stages. We have a number of projects on-going in this area – contact me for details.

UCSB is an intellectually stimulating and fantastically beautiful place to work – come join us!

My research interests include computer system security and embedded systems with emphasis on applications to implantable medical devices and low-power, RFID-scale computers. We publish in venues such as IEEE Oakland, USENIX Security, ASPLOS, SIGCOMM, USENIX FAST, and MobiSys. We also publish in computing journals, medical journals, and workshops such as IEEE Trans. on Computers, ACM HotPower, and USENIX HealthSec.

A postdoc would interact with a half dozen energetic PhD students and be provided the resources to increase his or her publication pipeline. He or she would be provided training helpful to establish funding for one’s research career. The research would also involve regular interactions with collaborators at MIT, Berkeley, and the Harvard Medical School—providing the postdoc with special opportunities to interact with influential researchers from several schools.

The postdoc would also have access to about a million dollars worth of equipment for embedded systems research: differential power analysis workstations, scopes, signal generators, logic analyzers, FPGA boards, software radios, custom-built tools for measuring power, custom-built programmable RFID tags, explanted medical devices, etc.

About the Security & Privacy Research (SPQR) Lab: http://spqr.cs.umass.edu/

The SPQR Lab focuses on research topics of interest to the security and embedded systems communities, often with emphasis on matters of social relevance. Half of the graduated students are women. Student honors include best paper awards from USENIX Security and Oakland.  Half of the PhD students have NSF graduate research fellowships. The research results have been featured in the New York Times, NPR, and MIT Technology Review. The publications also prompted rethinking at the Food and Drug Administration, the Federal Reserve system, and the Federal Trade Commission.

The Department of Computer Science by the Numbers: The CS department has 42 faculty, 230 graduate students, 294 undergraduate majors, and 1,600 classroom students. Our partnerships within UMass and the Five College System provide unique collaboration opportunities (and jobs). For the 2009 fiscal year, CS research funding exceeded $15.9 million. CS researchers consumed 16,026 cups of coffee (caffeinated) and 2,601 cups of decaf followed by tea and
mocha. Various types of espresso have a cult following.

http://www.cs.umass.edu/

About the Amherst area: The Amherst/Northampton area is beautiful, cosmopolitan, liberal and cited as #1 of the top 5 college towns in the USA! The area offers diverse cultural activities, excellent restaurants and amazing natural surroundings. Home to the Five Colleges—Amherst College, Hampshire, Mt. Holyoke, Smith, and the University of Massachusetts—the area is full of educated folks. 42% have graduate degrees—nearly the highest percentage in America. Proximity to Boston and New York provides further options for collaboration and recreation.

The University of Massachusetts is an Affirmative Action/Equal Opportunity Employer. Women and members of minority groups are encouraged to apply.

My current research interests lie in energy intelligent computing. This involves designing energy-efficient protocols and algorithms for different wireless technologies like Wireless LANs, RFID Systems, Wireless Sensor Networks, and Wireless Mesh Networks. I also work on emerging topics like sustainable computing, and designing communication architectures for smart electric grids.

I have broad research interests covering the impact of technology on work, social interactions and economics. As a user experience researcher, my specific interests include the design of knowledge management systems and online communities, secure mobile applications, workflow orchestration, and business process modeling by non-programmers.

My research group is currently exploring OS techniques to improve the reliability of parallel programs (see Respec and DoublePlay papers in ASPLOS), as well as the use of dynamic instrumentation to debug correctness and performance issues in software (see ConfAid paper in OSDI). I am looking for a researcher with strong system programming skills and interests.

Bio and Prior Work: Martonosi’s research interests are in computer architecture and mobile computing, with an emphasis on energy-efficient systems. In the field of processor architecture, she has done extensive work on power modeling and management and on memory hierarchy performance and energy. This has included the development of the Wattch power modeling tool, the first architecture level power modeling infrastructure for superscalar processors. In the field of mobile computing and sensor networks, Martonosi led the Princeton ZebraNet project, which included two real-world deployments of tracking collars on Zebras in Central Kenya.

Current and Future Projects:

1) In the processor architecture area, Martonosi’s group is currently exploring system-level interfaces to allow nimble management of power, performance, and parallelism tradeoffs in chip multiprocessors and MPSoCs.

2) She is also researching power-performance control problems in large-scale data centers. Her students are studying a range of optimizations that are either localized within single data centers or spread across regionally-distributed data centers. Together, these techniques are aimed at reducing data center energy usage, better managing workload and power spikes, and better optimizing the use of electricity acquired from green sources.

3) Martonosi’s work in mobile computing includes projects improve the location-awareness of mobile cellphone apps, while also abiding by privacy and security expectations. This includes a mix of cross-phone collaboration, location modeling/estimation, and other techniques. Her group is also leading the C-LINK effort which uses mobile computing techniques to bring cost-efficient, low-latency internet access to developing regions.

My main research interests are in the areas of
- High-performance processors
- Memory hierarchy, prefetching, cache coherence
- Multi-cores and multiprocessors
- Power and temperature management
- Compiler and architecture co-design

My research focuses on the interaction between the architecture and software of computer systems and underlying hardware implementation challenges. These challenges include power, reliability, and variability issues across embedded and high-performance computing systems. A basic tenet of my research is that architecture design must be cognizant of these implementation issues, and that multi-layer solutions spanning circuits, architecture, and software can provide significant advantages.

usability, creativity, design methods, participatory design, design rationale, community networks, mobile community networks, online community, virtual organizations, common ground, social capital, awareness, activity awareness, case-based learning,

The goal of our research is to understand the impact that children can have on the design of new technologies and to understand the impact of that these technologies can have on children’s learning experiences. Our interdisciplinary lab of computer and information scientists collaborate with a variety of partners (e.g., The U.S. National Park Service, UNICEF, Sesame Workshop, The Mongolian Ministry of Education through the World Bank, Microsoft, Discovery Communications, etc.) to develop new educational technologies that range from digital libraries to mobile storytelling experiences.

Our newest work focuses on developing mobile technologies for the “iChild.” The iChild is international, expects to be interactive, is information-active, and intensively social. The mobile technologies we are creating are not for children to consume information, but to create and share information. We are currently working with Nickelodeon Inc., Carnegie Hall, and the U.S. National Park Service to create new mobile technologies that integrate the physical and virtual experiences to tell stories, explore the physical world, and enhance the traditional web experience. Our mobile app building is oniPhones and Android phones.

My research and educational career straddles the border between computational theory and mechatronic engineering. Motivated by applications in confined spaces, my group pursues a comprehensive program in mechanism design, path planning, motion planning, and estimation. These research topics are important because once the robot is built (design), it must decide where to go (path planning), determine how to get there (motion planning), and use feedback to close the loop (estimation). Already, we have directly applied this body of work to challenging and strategically significant problems in diverse areas such as surgery, manufacturing, infrastructure inspection, and search and rescue.

Many of the research fundamentals support the development of snake robots, highly articulated mechanisms that can thread through tightly packed spaces reaching locations that people and conventional machinery otherwise cannot. We have developed snake robots for minimally invasive cardiac surgery; recently, we completed our first in human procedure. Current work includes further mechanism development for natural orifice surgery, and prescribing estimation/filtering approaches, based on Kalman and Bayes filtering, to map the internals of the body, i.e., it is SLAM on the inside.

We are also addressing the motion planning of snake robots and all underactuated systems. Our approach takes recourse to the fundamentals, drawing from advanced concepts in differential geometry to prescribe gaits. Examples of results in this work are applying Stokes Theorem to the local form of the connection on shape spaces to efficiently design gaits. Recently, we have shown that many biological systems, including fish and lizards, can be modeled this way.

By taking recourse to the fundamentals, we have been able to address other problems such as multi-agent planning. Recently, we have developed an efficient provably complete optimal multi-agent path planner that can plan paths for 40+ robots in large spaces (note that the size of the configuration space makes it impossible for A* to even search one step, let alone complete a path). We have also developed an algorithm for multi-agent manipulation. Current work includes applying these techniques to distributed manufacturing. We are also working with a biologist to use these concepts to model swarms.

It is the excitement of working with students that continues to draw me to academia. I am certain that a casual tour of my lab reveals a feeling of energy and productivity. My students, both graduate and undergraduate, work hard to provide fresh new insights within the framework of mathematical and experimental rigor endowed by my research program.

Post-doc positions are available in the context of the following broad projects:

1) the development of methodologies and tools for the design and programming of heterogeneous multi-core system-on-chip;

2) the design of energy-efficient high-performance networks-on-chip including also networks that leverage emerging silicon-photonics technologies;

3) the design of cyber-physical systems and distributed embedded systems, including systems based on wireless sensor network (WSN) technologies.

Strong industrial collaborations with leading information technologies and engineering companies are maintained for each of these projects.

Luca Carloni is an associate professor of Computer Science at Columbia University where he leads a research program in the areas of design technologies, computer-aided design, embedded systems, and high-performance computer systems.

Prof. Carloni received the Faculty Early Career Development (CAREER) Award from the National Science Foundation in 2006, was selected as an Alfred P. Sloan Research Fellow in 2008, and received the ONR Young Investigator Award in 2010.

While a PhD student at UC Berkeley he received the Demetri Angelakos Memorial Achievement Award in recognition of altruistic attitude towards fellow graduate students. He is an associate editor of the ACM Transactions in Embedded Computing Systems and the IEEE Transactions on Industrial Informatics and has served in the technical program committee of several conferences. He served as the technical program co-chair of NOCS’10, EMSOFT’10 and MEMOCODE’10.

For a complete list of publications please see http://www.cs.columbia.edu/~luca

Current interests include:
– 3D shape and motion capture and reconstruction
– joint analysis of large corpora of images. shapes, or motions
– large-scale virtual content creation
– qualitative analysis of stochastic dynamical systems
– lightweight fusion of distributed signals
– mobility patterns and their influence in mobile network communication
– inference on rankings and other discrete structures

Information assurance, cybersecurity, social networking

George J. Pappas is the Joseph Moore Professor in the Departments of ESE and CIS at the University of Pennsylvania. He is member and former director of the GRASP lab. He currently serves as the Deputy Dean in the School of Engineering and Applied Science. His research focuses on control theory, robotics, hybrid systems, embedded systems, hierarchical and distributed control systems, with applications to unmanned aerial vehicles, flight management systems, distributed robotics, and biomolecular networks. He has published extensively, is a Fellow of IEEE, and has received the National Science Foundation Presidential Early Career Award for Science and Engineering (PECASE).

This is a general invitation on behalf of the Information Systems Research Community at NJIT. We have a large variety of NSF-funded and other research projects in HCC and III (human-centered computing / information integration & informatics) topics. Details are on individual faculty pages, accessible through http://is.njit.edu/people/faculty.php – see the research keywords listed here and on the faculty pages.

My group focuses on verification of embedded and cyber-physical systems, studying the question “how can we build computerized controllers for physical systems that are guaranteed to meet their design goals?” These questions are of crucial importance in many areas, including automotive, aeronautics, railway, mobile robotics, factory automation, and medical devices. After all, our society cannot afford to have these systems malfunction. In our research, we have developed powerful logic-based verification techniques that help producing reliable complex systems, e.g., in aeronautical, railway, and automotive applications. We have developed KeYmaera, the first theorem prover for hybrid systems. We also developed the first verification technique for distributed hybrid systems, which combine the challenges of hybrid systems with those of distributed systems. We have further developed the first logic and compositional verification technique for stochastic hybrid systems. My grou p also works on statistical model checking techniques. There are plenty of exciting challenges ahead in these and related directions of research.

The development and application of network design algorithms, network modeling and simulation methods, network control mechanisms, information assurance and infrastructure protection techniques to a variety of network technologies.

Attacks and counter measures in newly emerging cognitive radio networks;
Protocols for cognitive radio networking and performance analysis;
Psycholinguistic data mining from text data for deception detection;
Video steganography and steganalysis

Real-time software, specifically: embedded software, cyber-physical systems, models of computation, code generation and optimization, domain-specific languages, architectures for real-time computing, and schedulability analysis.

I am particularly interested in these topics: Pattern recognition applied to mobile health technologies; wellness technologies; context-aware mobile devices; personal health informatics; home sensing and activity recognition; wearable accelerometers; physical activity measurement; novel health interventions; persuasive computing; technologies that motivate behavior change; exergames; games for health. I moved to Northeastern recently from MIT to start a new Ph.D. program in Personal Health Informatics and I’m very interested in working with postdocs who want to work on that topic.

Developing scalable data mining algorithms for processing massive volumes of data
Statistical machine learning
Text analysis
Data mining in streaming environments and distributed platforms
Time series analysis

cognitive radio networks, mobile social networks, disruption tolerant networks, network security, smartgrid control network design, mobile health, information assurance, mobile computing

Cloud Computing
Energy Savings
Information Assurance
Applied Cryptography
Network Security
Trusted Hardware

Mobile technology for resource-constrained environments. Open source software to help organizations build community-based grassroots information services. Open Data Kit (ODK) is our latest software now in use on 6 continents in areas as diverse as public health and human rights monitoring. We build systems that are easy to use, extend, and maintain from both commercial and custom components. Our group publishes in development technology conferences (ICTD and DEV), mobile systems (HotMobile, Mobisys), and HCI (CHI).

My research falls inside the fields of power-aware computer architecture, power-agile computing/OS and low-power VLSI design.

I have three main projects that a potential postdoc fellow could develop drive and mentor the PhD students on the project:

• AfterBurner: Efficient Performance Scaling via Post-Retirement Processing. NSF funded project with Amir Roth, UPenn that targets region of low ILP in modern out-of-order microprocessors. We need a fellow with a strong microarchitecture background to drive the simulator development of this project.
• Accelerator-based computing. As the industry moves to SoC based systems in the mobile and server space future systems are going to be composed of heterogeneous accelerators and cores. We need someone with strong application profiling skills (or binary instrumentation skills) to help profile the accelerators that my VLSI students are trying to build.
• Power-agile computing. See the HotOS 2011 paper. We are trying to model future heterogeneous systems composed of difference types of cores, memory, and storage. Potential fellows should have experience with architecture simulators and operating systems.

Applications-driven research in ubiquitous computing, with particular emphasis on home and health domains. I have a personal passion for research connected with autism. I have also been very successful at mentoring students interested in pursuing academic research careers.

I am interested in applications of ubiquitous computing to everyday life, with specific focus on applications in the home and health domains. I have a particular focus, due to personal reasons, on technology and autism.

Our multidisciplinary team at Cornell is interested in using mobile devices to influence healthy behaviors. The goal of our research is to refine and evaluate behavioral interventions to reduce obesity. We are looking at the effect of positive affect, social networks (co-PI on NSF HCC Kleinberg, PI), social support systems, and cell phone apps on creating sustainable eating and physical activity.
We are using mobile devices and feedback tools to collect data on mood and activities and designing visualization tools for participants to reflect on their own patterns and behaviors over time. These tools could be applied to help monitor, change behavior or create awareness in multiple contexts.

http://idl.cornell.edu/index.php

Computer security and privacy, with a special interest toward emerging technologies, mobile devices, and human values.

I’m currently investigating two related areas of work. The first is integrating social networking information plus smartphone data (communication logs + sensor data) to understand human behavior at a fine-grained level and at a large scale. In our past work, we’ve shown how collocations can be used to infer friendships, and how mobility patterns can be used to predict privacy preferences. We want to examine how social graphs plus smartphone data can be used to rigorously understand human phenomena such as leadership, depression, friendship, and what people do in a city, all with an eye towards using this information to create compelling new services for people.

The second area is privacy. One research thrust is managing the privacy of all of this gathered information. Another research thrust is using this smartphone and social graph information to help people manage their privacy and security. For example, how can we use this kind of information to help people manage the 100+ passwords they have, or help configure their privacy and security preferences?

Active in the areas of next generation Internet architecture, Unmanned Aircraft Systems, wireless networking, network security, optical networking, traffic management and quality of service in data networks. A distinguishing factor of my research is its relevance to the Industry. Have actively participated in industry forums like RTCA, WiMAX Forum, IEEE Standards group, ATM Forum and Internet Engineering Task Force and have made over 200 contributions that ensured that my research was implemented and not just published as papers. My research has influenced the directions of Traffic Management and Testing working groups of ATM Forum. Rank among the top 50 in Citeseer’s list of Most Cited Authors in Computer Science. Google Scholar lists over 12500+ citations to my publications. Am a co-inventor of the DECbit scheme, which has been implemented in various forms in DECnet, OSI, Frame Relay, and ATM Networks, and TCP/IP networks (ECN).

In the past, I have been interested in many aspects of computer systems, especially operating systems, networking, and mobile and distributed systems. Current directions I’m looking to push forward include understanding what the mega datacenter and cloud model mean for the future of operating systems, exploring the challenges faced by increasingly high-speed local and wide area wireless technologies, and understanding how to improve the performance and robustness of distributed systems by leveraging the power of social networks.

My research lies in the intersection of AI (ML, agents, text mining, Semantic Web) and Systems (Mobile/Pervasive computing, Web, distributed systems). As recent examples, our group has developed Policy controlled BGP routers that use agent negotiation for automatic fault detection and recovery, Context aware mobile systems for surgery, Social media analytics that factor in both network features and link semantics, Systems that base information sharing decisions on context and policies, System to determine context in mobile systems that respects privacy constraints, and MANETs/CyberPhysical systems whose security/intrusion detection posture is modulated by context.

My current research focuses on exploring the concept of “behavioral coverage”. The idea is that your favorite verification and validation technique, whether it is testing, static analysis, symbolic execution or some variant or combination of those, produces information about how a program’s behavior conforms, or fails to conform, to expectations. We are interested in developing methods that allow such techniques to “characterize” the portion of a program’s behavior that has been shown to conform to expectations. Moreover, we seek to encode those characterizations in a form that allows the combination of information from a variety of techniques. The resulting combined characterization can be used to target additional V&V or provide developers with a semantic basis for having confidence in system correctness. This project offers an excellent opportunity to collaborate with experts in testing, static analysis, verification, and runtime monitoring and move towards a vision of V&V that breaks out of the silos of individual techniques to provide a holistic characterization of behavioral coverage.

My research interests span distributed systems, networking, operating systems. Current projects include:

- Energy measurement and management in mobile computing: in today’s portable, battery-operated devices, energy must be a first class optimization metric for operating systems and applications. Building on our previous work on Quanto (OSDI’08 with Prabal Dutta, Philip Levis and Ion Stoica), we are interested in operating systems abstractions that allow applications, developers, and device drivers to understand energy usage, and apply this knowledge for energy-aware optimization, admission control, and scheduling.

- Proactive datacenter networking: modern datacenter and enterprise networks are increasingly dynamically programmable. We are investigating the question of how knowledge of near-future workloads (e.g., by looking at an upcoming queue of large batch jobs) can be exploited to reconfigure the network (including endpoints) in a proactive way, to increase performance, isolation, and fairness.

- Tracing distributed systems: as the distributed systems we build become more complex, so does the task of understanding how they work, and, especially, how they fail. We are interested in the implications of causal tracing as a first-class concept in distributed systems design and integration. This builds on our previous work on X-Trace (with George Porter, Ion Stoica, Scott Shenker, and Randy Katz).

In addition to these problems, I am also interested in programming models and frameworks for large scale data intensive parallel computing (MapReduce and beyond), including understanding what classes of algorithms can be cast efficiently into existing frameworks, and what new abstractions can enable new applications.

I have also worked extensively on networking protocols and architectures for wireless sensor networks, and am interested and open to collaboration in any of these areas.

My research focuses on enhancing the security and performance of computer systems in practical situations. My work targets problems that impact millions of users or mitigates issues with emerging technologies. I build systems and, whenever appropriate, use extensive live deployments to validate their practicality in real settings. Conference and journal publications are an important aspect of impact. But in many cases much more can be done. I believe one should validate and demonstrate the applicability of the research to real world problems. This means that much of my work spans multiple fields, primarily systems and security.

I am interested in mentoring a bright and hard working post doc. My work tends to be quite broad, so the area of work can vary according to the post doc’s interests.

I am interested in wireless sensor networks in the context of health care, smart civil infrastructure, process monitoring and control, and smart energy. My group’s research ranges from system design and deployment, low-power wireless networking, to real-time scheduling algorithms.

My group works to improve the reliability of software systems, especially embedded systems, using techniques such as random testing, theorem proving, and model checking.

My research focuses on three inter-related streams: the creation of home-based technologies for wellness and health across the lifespan, innovative design methods for ensuring technology development is sensitive to human values, and evaluation of user needs and acceptance of emerging technologies, particularly in residential settings. I also have ongoing research interests in HCI research methods and public policy as it relates to information technology.

Especially seeking postdocs interested in HCI applied to the domains of child & family health, technology use in domestic settings, and video game design.

Because of the inherently dynamic personality of next-generation multicore, manycore, and cloud platforms, new techniques to specify, test, exercise, and implement robust software systems on these platforms are required. The central issues here concern scalability and safety: how do we specify, optimize,verify, and implement software systems that adapt seamlessly, efficiently, and safely to changes in the underlying platform? We envision programming models that emphasize concurrency and distribution over localization, and decouple the question of how to structure a highly-parallel or distributed computation from the question of how the resources required to execute it are acquired and managed.

In this context, my research interests explore high-level concurrency and distribution abstractions (including formal semantics, specification, and verification), their implementation (including static and dynamic analysis, and associated runtime support), and low-level abstractions such as weak-memory consistency and associated compilation techniques.

There are many outstanding challenges that must be overcome in this general space. Of these numerous challenges, my research focuses specifically on programming languages, software models, abstractions, and implementation
techniques for these environments. Since an application’s activity may be highly concurrent and possibly distributed, and thus less easily monitored or controlled, new software models comprising programming language design, compiler and runtime implementation, and lower-level architecture-specific protocols are required to ensure robustness, safety, and efficiency.

A central question underlying much of my research is how we can craf robust software systems in the presence of unreliablity, injected from both the underlying architecture and the application itself, without comprising efficiency and scalability.

Thus, effectively dealing with future computing environments requires a symbiotic treatment of software design ranging from language definition and semantics, to software engineering principles related to testing and protocol definition and inference, to compiler and runtime implementation, down to architecture-specific models such as weak-memory consistency. Each of these components contribute
to the realization of a software architecture focused on supporting scalable, robust, and long-lived applications. My research addresses these issues along the dimensions outlined, with specific interests biased towards principled language and system design, and implementation.

My research is done in the Mobius Group, which is dedicated to research on seamless communication in mobile computing. Our research projects focus on mobile computing and communication in ad hoc and sensor networking and delay and disruption tolerant, vehicular and mobile social networks. Specific research topics include power management, connectivity management, transport protocols, admission control, location management, routing and security. One representative project is the Locus Project and its affiliated Illinois Vehicular Testbed. Locus is a vehicular-based content management network that functions as a distributed data cache built on top of a fleet of moving vehicles to support location-centric sensing applications. As part of this project we are deploying Locus on a fleet of university vehicles, which will provide a testbed for future vehicular, delay tolerant and location-based participatory sensing research, as well as traces of fleet mobility and contact traces. O ther on-going projects focus on routing and data management in delay tolerant networks, contact and proximity tracking and energy conservation in mobile social networks, and energy conservation in sensor networks.

Anything that involves transforming images into descriptions (or vice versa)

My interests lie broadly in the computer networking and distributed systems areas. My recent focus has been systems research in wireless sensor networks, with emphasis in wireless radio channel measurement and modeling, link quality estimation, routing algorithms, topology control, and programming models. I am also interested in Internet protocols and operating systems issues. In the past, I have been involved in active networking, mobile IP, and protocol design and verification research. My group develops and deploys sensor networks that address some of the grand challenges in science and engineering, including new distributed sensors for solar radiation mapping, energy and occupancy monitoring and control in smart buildings and wearable sensors for exercise physiology monitoring and modeling, among others.

In recent work, we have developed network coding techniques that allow us to exploit fundamental wireless properties to improve network performance. Traditionally, these properties )broadcast, interference, variable channels etc) have been considered to be hindrances, instead we show via analyses and implementation how they can be harnessed to significantly network throughput. Currently, we are working on designing new wireless systems that automatically adapt to channel and network conditions, hardware and software substrates that allow us to virtualize wireless networks, ultra low power and wideband cognitive radio systems, and systems for distributed mobile sensing.

Mobile and wireless networks, peer-to-peer systems, network security, Internet architecture, virtualization.

My current research focuses on the design and engineering of mobile ubiquitous information systems, from software architecture to application design and user studies. My NSF CPS project “CitiSense – Adaptive Services for Community-Driven Behavioral and Environmental Monitoring to Induce Change” comprises a multi-disciplinary team including software engineering, HCI, embedded systems, AI, security, and medicine. We are designing, implementing, and deploying a mobile sensor system for community-based environmental monitoring. This project will offer excellent collaborative opportunities to a post-doc in software engineering or ubiquitous computing.

In the past I have focused on high performance computers. I and my colleagues developed some of the first prototype computers that exceeded 200 MHz. However, in the past decade I have focussed on various aspects of low power computing. My research group developed the “Intelligent Energy Management” system used in many ARM cores. I was a co-inventor on the original razor patents, a circuit technology that is being deployed in many next generation low power cores to combat the growing effects of variation that occurs in smaller technology nodes. My research group has developed a series of ultra-low power signal processors targeted at mobile wireless baseband processing. They evolved into a commercial prototype developed by ARM, which led to a commercial spinoff, Cognovo. They will commercialize the processor and provide wireless software stack.
My group were among the first to propose replacing DRAM with non-volatile memory to reduce memory power, cost and footprint. His group has also been active in exploring new server architectures that combine “near threshold” technology and 3D chip stacking to drastically reduce system power consumption. They recently complete the tape-out of a 128-core multiprocessor that integrated the cores, caches and DRAM into a single 3D stack. The fabrication run was funded by a DARPA grant.
Finally, my group is exploring ways to build low power compact interconnect fabrics. We recently completed a compact 128 x 128 crossbar architecture that can sustain a bi-section bandwidth of about 1.3 terabits / second while consuming less than 130 mW.

Resource allocation in wireless networks, quality of information, mobility models, network security

***SMARTGEO***
SmartGeo (an NSF IGERT project) is an interdisciplinary program in the development of intelligent geosystems – enabling engineered and natural earth structures and environments that sense their environment and adapt to improve performance. Research efforts focus on using wireless sensor networks to advance intelligent geoconstruction, intelligent earth dams & levees, and remediation of contaminated soil and water. In one project, we research sensing and monitoring techniques to assess early onset of internal erosion of an earth dam by fusing geophysical, geotechnical and remote sensing data. In other project, we are developing a system that integrates multiple forms of sensed data, models, and techniques to develop a closed-loop uranium bioremediation system. A CI Fellow interested in wireless sensor networks, data mining, graphics/visualization, or machine learning would be a welcome addition to this project.

***NETWORK SIMULATION CREDIBILITY***
Simulation is the research tool of choice for a majority of the mobile ad hoc network (MANET) community. However, while the use of simulation has increased, the credibility of the simulation results has decreased. This work focuses on the development of tools that researchers can use to improve the credibility of their simulation work. For example, one focus of our work is to provide researchers with models that allow them to easily construct rigorous MANET simulation scenarios. The input to our models is the desired values for three metrics (e.g., average shortest path hop count); our models then output parameters for a simulation scenario that approximately meet the researchers target values for the metrics. Examples of other tools developed include visualization and realistic mobility models based on GPS trace data. A CI Fellow interested in impacting the way that researchers do network simulation would be welcome.

***COOPERATIVE BEAMFORMING***
Cooperative beamforming (CB) is a novel technique that enables high throughput and power efficient communications in a secure manner. CB consists of two stages. In the first stage, the sources share their data with neighboring nodes via low-power communications. Various approaches for such information sharing are considered, with a goal to minimize queuing delays, conserve energy, and achieve high throughput. In the second stage, the cooperative nodes apply a weight to the signal received during first stage, and transmit. The weights are such that a specific objective criterion (e.g., signal to interference at the destination) is maximized. In CB, although each node uses low power, all nodes together can deliver high power to a faraway destination. This research project is interdisciplinary and combines concepts in signal processing, economics, decision theory, optimization, information theory, communications, and networking. Our efforts at the Colorado School of Mines is focused on synchronization of the wireless communications and other research issues associated with the MAC layer. A CI Fellow interested in signal processing, wireless security, or communications would be a welcome addition to this project.

My research interests cover a broad range of systems topics, centering on distributed operating systems but extending into networking, programming languages, and formal systems. The common motivating theme throughout my research is to discover ways to build computing systems that “just work” in the widest possible variety of practical scenarios: to rethink and generalize traditional algorithms, system structures, and protocols so as to eliminate technical restrictions that frequently limit the utility, applicability, or scalability of these systems. Current projects include:

1. Tng: a next-generation transport protocol architecture, which decomposes traditional transport layer functions such as endpoint naming, congestion control, and application-visible semantics to improve communication flexibility, performance, and security while remaining backward-compatible with the current Internet.

2. Determinator: an experimental multiprocessor, distributed operating system that creates an environment in which anything an application computes is exactly repeatable – even if the application consists of many cooperating processes running different executables in parallel, such as a parallel make. Atop a minimal microkernel that enforces this determinism guarantee, a user-space runtime uses distributed systems techniques to emulate familiar shared-state abstractions such as Unix processes, global file systems, and shared memory multithreading.

3. Dissent: a new anonymous peer-to-peer messaging protocol for small, decentralized online groups, which offers not only provable anonymity and integrity but also provable resistance to anonymous denial-of-service attacks (e.g., anonymous spam, “jamming”, or other disruption).

Mobile phone sensing, learning and social net apps.

My research spans the following broad topics in the field of computer systems:

•Computer Architecture and Compilers – I am interested in a wide range of aspects involving the intersection of architecture and compilers. My specific focus is on performance, power consumption, and reliability issues for embedded and multi-core processors.
•Reconfigurable Computing – I look into uses of reconfigurable computing as a general enabling technology. Specifically, I focus on the acceleration of various diverse application domains such as cryptography, image and video processing, and data mining, as well as the use of multi-FPGA platforms for fast system prototyping.
•Security – I study the use of automation to address various aspects of security and trust. Past projects in this area include the design and analysis of compiler and architectural approaches to improve software security, as well as an investigation into design methodologies that reduce the effectiveness of side-channel attacks on hardware/software systems.

1. Exploiting physical layer capabilities to design clean-slate (as well as 802.11 compatible) MAC and Network protocols. Interference cancellation, OFDM, smart antennas, cross layer rate control, and related topics are of interest.

2. Also interested in mobile social computing, where we are translating mobile phones into a platform for people-centric sensing.

More and more computer systems are built as integral parts of many of today’s systems and devices to monitor and control their functions and operations. These embedded/networked systems often operate in environments where safety is a major concern. These computer systems must be highly dependable and timely. My teaching and research focus on building these real-time, embedded systems, and cyber-physical systems. Research topics include: scheduling, formal verification, networking, power-aware techniques, real-time security, and software engineering.

Today’s interfaces limit our use of computers in two key ways: 1) they are optimized for short tasks rather than the long term activities we carry out in our everyday lives, 2) they constrain where and how computers can be used by not taking advantage of mobility, context, and natural human communication. Our research in activity-based computing addresses these issues. Our systems-oriented HCI research methodology is guided by an iterative design process that can be broken down into design methods, design tools, infrastructure, evaluation tools, and applications.

We are exploring topics in the above areas by developing applications in three domains: 2nd language learning, green behavior, and health and wellness. We are also interested in the cross cultural issues in designing for these domains.

Our approach is to observe target customers in the field, using both traditional and more novel means (e.g., context-aware ESM), and then use the resulting information as a basis for concept design. Designs are then prototyped and deployed on working devices in an iterative manner. Our current focus is on using activity and location inference technologies running on mobile phones to support new applications that help support customer’s everyday lives. We are also building the tools and design methodologies to support these applications as well as the evaluation methodologies required for deploying and testing these applications in the field over long periods (e.g., 3-6 months).

Postdoctoral researchers can explore topics in these areas in the field with me in Beijing, China for the first year and in Seattle for year two. I am happy to work with postdocs whose expertise might be in a range of different HCI subfields, e.g., technical HCI, field work, or design.

In general, I’m interested in applying information and computer technologies in solving real-world transportation problems and improving safety, mobility, fuel efficiency, and environmental benefits of various transportation modes. In particular, I’m interested in investigating potential applications of vehicle to vehicle (V2V) and vehicle to infrastructure (V2I) communications. I’ve been studying theoretically and with simulations the interactions between transportation systems and communication systems. These efforts are in accordance with the US Department of Transportation’s general agenda in promoting IntelliDrive. Currently we’re studying green driving strategies based on inter-vehicle communications.

My research explores hardware and software tradeoffs to improve system performance, system reliability, and system security. The use of digital integrated circuits (ICs) for mission-critical, safety, defense, and communication applications has highlighted the need for enhanced reliability and improved security. As fabrication technology advances, digital ICs will become more vulnerable to soft errors from strikes by ionized particles. However, mitigation strategies that focus only upon devices or logic gates will consume excessive amounts of area and power, and could limit performance. At the same time, there is a constant threat of hardware and software tampering through malicious activity. Inherent architectural vulnerabilities must be removed to reduce the probability of a successful attack. My current work includes: (1) hardware synthesis techniques to mitigate soft errors in the microarchitecture and (2) detection of hardware trojans in fabricated circuits.

Cloud Resource Management and Virtualization; P2P and Peer-Assisted Content Distribution; Economics-Inspired and Game-Theoretic Approaches to Resource Management in Distributed Systems and Networks; Formal Specification and Verification of Cyber-Physical Systems; Compile-Time and Run-Time Support for Embedded Real-Time Systems.

I want to enable everyone to access, use and benefit from technology.

My research is at the intersection of human-computer interaction, artificial intelligence and web engineering. I seek a better understanding of how to more effectively present and combine web information sources and have a particular interest in tools that support more accessible, usable and available access for people with disabilities.

I believe human computation and crowdsourcing is part of the solution, and build tools that explore how people can help one another more effectively access the web and deliver information on-the-go. My group has recently been exploring mobile tools for connecting people disabilities to remote workers in nearly real-time to bridge the gap in areas that automated tools are not yet good enough to do.

Finally, research does not happen in a vacuum and I support releasing technology early not only in order to let people benefit from it immediately but also as a way to understand its broader social context.

My research interests and expertise are in how to build dependable distributed systems. I approach this problem from a systems perspective with liberal adaptation of results from the analytical side. The problems that motivate our research are why do distributed systems break when subjected to natural errors or man-made errors (malicious or operational). Knowing this, how can we build runtime mechanisms that will make it possible to prevent the errors from becoming user-visible failures. The work involves systems building, systems breaking, conducting rigorous experiments, and learning insights about real systems from these experiments. Specific applications so far have come from: grid systems, large-scale parallel applications, Voice over IP (VoIP) systems, web services, embedded wireless networks, and wireless sensor-actuator systems.

Security, privacy, applied cryptography, mobile, emerging technologies, cloud security

Interpretation of human activities using wireless sensor networks and their applications to elder monitoring, security and sensing.

Cyber-Physical Systems for energy management in next-generation intelligent buildings.

Sensor network architectures for the above mentioned systems.

Titles of current projects:
* Robustness of Simulations in Model Based Design Environments
* Robust Testing for System Validation
* Temporal and Modal Logics for Dynamical and Hybrid Systems
* Hybrid System Synthesis from High Level Specifications
* Task and Motion Planning for Mobile Robots
* Natural Language Interfaces for Robotics

geometric and topological reconstruction from samples, detection of symmetries and repeated patterns in data, sense making from distributed sensor signals, structure-preseving summaries, information discovery and brokerage in sensor networks, mobility analysis and prediction, routing to mobile users

My research interests are in two areas: Architectures and algorithms for effecient collaboration between mobile devices and sensor networks, especially for the purpose of sampling sensor-field data; and modeling and analysis of concurrent/distributed software systems.

1. Designing efficient algorithms for networking, security, and database applications. My current focus is on efficient packet processing algorithms used on core Internet devices such as routers and IDS/IPSes.

2. Designing efficient privacy preserving protocols for practical problems. My current focus is on privacy and integrity preserving queries.

More information is on my homepage http://www.cse.msu.edu/~alexliu/

Security printing and imaging provides brand differentiation, brand protection and anti-counterfeiting through novel security algorithms, printing approaches and image analysis technologies. As stated above, these involve cross-disciplinary research in Security algorithms, Steganography, Next-generation printing, Inspection, Authentication, Image processing, Document processing, Medical imaging, Classification, Biometrics, Machine Vision, Track and Trace.

To achieve truly life-like telepresence, we must better understand key multimedia acquisition, processing, and display technologies. These include video segmentation and matting for background replacement and for gesture-based human-computer interaction, depth sensing, augmented reality, 3D rendering, and view synthesis. We must also understand how to embed these technologies in real-time systems to create seamless and highly intuitive interaction experiences.

My interests are in model checking programs, probabilistic systems, and hybrid systems. I am also interested in the core areas of logic and automata theory.

I am in the Information School and Human Centered Design & Engineering at the University of Washington, where I direct the Computing for Healthy Living & Learning (CHiLL) Lab. Our primary focus is in Human-Computer Interaction, Ubiquitous Computing, and Persuasive Technology. We are interested in designing, developing, and evaluating applications of computing technology that aim to promote healthy lifestyles and education. We design and develop mobile, persuasive, and collaborative technologies with the goal of helping with record-keeping, review, and motivation to pursue health and educational goals of individuals, families, and teachers. Current projects are focusing on health for families from diverse populations, therapists for children with autism, and individuals with sleep disorders. We are also researching related topics, such as effective persuasive computing and record-keeping techniques and improving the empathy in technologies for health. More information can be f ound at the CHiLL Lab website: http://depts.washington.edu/chilllab

I have three main emphases:
1. Creation of online communities to support groups with a geographical basis. Our first and most successful instance of such a community is Cyclopath.org, a route-finder and geographic wiki for bicyclists. I am very interested in creating geographic wikis for other uses, including parents/families and many environmental applications.
2. Developing and evaluating theory-based mechanisms and guidelines for designing online communities. My collaborators and I have tried out many theories from the social science that address issues such as: what makes people get attached to groups, what motivates people to volunteer, what incentives and appeals elicit more and better contribution to group activities.
3. Creating novel tagging algorithms and interfaces. Developing novel metrics for assessing the quality of folksonomies. Developing theoretical models and interaction techniques that situated tagging with other dynamic interaction phenomena like mixed-initiative dialogue.
I also am devoting efforts to two more self-contained projects:
- Creation of an online community for adolescents to promote behaviors and attitudes that limit the spread of HIV/AIDS. Interesting ethical challenges. Chance to create and test persuasive design ideas.
- Empirical study of what factors influence people’s choice of clothing to wear for the day and how satisfied they are with their choices. Creation of a system to enable people to make better choices.
My colleagues, students, and I apply a mix of methods on our projects, including algorithm development and evaluation, invention of novel interaction techniques, user interface design, qualitative studies, quantitative studies especially field experiments, visualization and interactive data exploration, and statistical methods. We work hard to create systems that attract an active user community (like Cyclopath and MovieLens), since these form a very valuable experimental infrastructure in which we can deploy and evaluate empirically new ideas.

My group works on modelling molecular systems that process information
through sensing, computing, and motion; our focus has been on
catalytic DNA systems, such as logic gates, circuits, and nanorobots.
We are interested in both formal and quantitative models. We
collaborate with experimentalists at UNM and other institutions. We
are also interested in programming languages (design and
implementation, molecular or not, especially of functional languages),
algebraic aspects of fluid mixing, and sensor array data analysis.

1. 10Gbps High Speed Optical Networks for Future Internet
(1) Measure and evaluate performance of transport protocols over 10Gbps high speed optical networks.
(2) Design analytical simulation methods to model the behaviors of network dynamics using stochastic differential equations.
(3) Develop a cyberinfrastructure of reconfigurable optical networking environments (CRON, http://lanet.cct.lsu.edu/cron.html) for future Internet design
(4) Integrate the CRON environment into the Global Environment for Network Innovations (GENI, http://www.geni.net/) to create heterogeneous networking environment for Future Internet design.
(5) Investigate transport protocols over high speed networks, such as Louisiana Optical Network Initiative (LONI) networks, National Lambda Rail (NLR) networks, and Internet 2.
(6) Design energy efficient and reliable transport protocols for wireless sensor and actor networks

2. Wireless Ad-hoc Networks and Sensor Networks
(1) Design energy efficient and reliable transport protocols for wireless sensor and actor networks
(2) Explore transport protocols over wireless ad-hoc networks and propose a framework called ATRA consisting of three mechanisms at the medium access and routing layers in order to alleviate the impact of mobility on TCP’s performance.
(3) Design a reliable sink-to-sensors data transport protocol which is highly scalable to density of nodes, dynamically self-configurable, and instantaneously constructible for wireless sensor networks.
(4) Develop an adaptive topology control scheme that changes transmission power based on network environments, such as traffic load
(5) Develop optimization and resource management protocols to improve the performance (i.e. capacity, handoff, and power control) of CDMA cellular system in Seoul metropolitan area.

Tessa Lau is a Research Staff Manager at IBM Almaden Research Center, leading a group working on Smarter Web technologies. Dr. Lau’s research integrates techniques from artificial intelligence and human-computer interaction to build systems that enhance human productivity and creativity; areas of interest include end user programming, collaboration, and social software. Most recently, her team has developed and deployed the CoScripter system (http://coscripter.com), a platform for capturing, automating, and sharing tasks people do on the web.

Tessa has served on organizing and program committees for major AI and HCI conferences and journals. She also serves on the board of CRA-W, the CRA committee on
the status of women in computing research. Dr. Lau holds a PhD in Computer Science from the University of Washington. Outside of work, Tessa is an avid snowboarder, hiker/backpacker, gardener, and cook.

I lead the Mobile Computing research group at IBM’s Almaden Research Center. We focus on three different themes:
- Understanding how users employ the latest generation of smartphones in order to understand how to build effective mobile user experiences and to identify opportunities to improve existing or create new mobile applications and services.
- Creating new mobile collaboration applications and services. For example, based on our studies of how users employ smartphones we identified an opportunity to improve mobile email clients to better support how users actually use email while mobile: identifying what’s new, identifying what’s important enough to handle immediately, deleting messages that aren’t needed, and deferring the handling of all other messages until users reach a desktop or laptop. See http://www.almaden.ibm.com/cs/projects/mobileemail/ for further details on that project.
- Exploring how mobile phones can act as sensors to capture information as well as windows to access it. We are particularly interested in how many users can contribute information to a central service that can aggregate and analyze that information to provide increased value to a broader community.

In addition to these core areas, my team also explores the creation of new interaction techniques (such as ShapeWriter – http://www.almaden.ibm.com/u/zhai/shapewriter_research.htm) and of underlying theories and models for how mobile users interact.

My latest research project is Computational Modeling and Analysis of Complex Systems, a major collaborative NSF-funded project involving a number of institutions. The main Web site is http://cmacs.cs.cmu.edu/. My interests in the project are modeling cellular signaling pathways and designing student workshops to teach the modeling and analysis techniques that we are developing.

I also work in network interoperability testing, development of network monitoring and analysis tools, and efficient MANET algorithms. Recently, I developed a software tool suite called AGATE for generating a collection of state machines representing aspects of the behavior of a network protocol. Earlier, I received a “Best Paper Award” from FORTE/PSTV for a breakthrough interoperability testing methodology developed in a collaborative effort between the Network Systems Research Group at Bell Labs and Lucent’s Next Generation Networking Labs. This methodology has been used very effectively in Lucent’s Next Generation Networking Labs for testing Voice over Packet systems. From 1988-1998, my best-known work was in the area of feature interactions. The primary contributions were a classification of feature interactions (one of the most cited papers in the field); the use of intelligent agents to negotiate the terms of a communication session; and the development of a met hodology and tools for rapid service creation.

My group carries out applied experimental systems research in Operating Systems, Computer Networks, and Distributed Systems. Most current projects in our group deal with various aspects of virtualization (as with system virtual machines), data center networking, and wireless networks. Each project invariably involves the design, implementation, and evaluation of a real-world system prototype. Some of our past projects are listed at http://osnet.cs.binghamton.edu/ . Current projects in our lab are funded by the following active NSF grants : “CAREER: Coordination Mechanisms for Performance-aware Virtualization in Clusters”, “A Miniaturized Robotic Testbed for Development, Testing, and Evaluation of Protocols for Multi-Hop Wireless Networks”, “Virtualized Cluster Testbed to Support Research In Large Memory And Data Intensive Applications”.

Ubiquitous computing environments present new challenges for interaction designers and for end-users. My research seeks to support the design, evaluation, and deployment of new types of interactive applications.

My current research interests focus on applying software engineering methods, techniques, and models to the design and development of intelligent, complex, adaptive, and autonomous multiagent systems. My research in this area is currently focused on building the tools and techniques necessary to design and build cooperative robotic systems, where the robots work autonomously, but cooperate as part of a team. I am also interested in building and developing hybrid intelligent systems that include humans, software agents, and mobile hardware agents.