Process Query Systems -- People

E-Mail:

George Cybenko, Dorothy and Walter Gramm Professor of Engineering, received his B.Sc. in mathematics at the University of Toronto, and an M.A. in mathematics and Ph.D. in electrical engineering from Princeton. He has taught on the computer science faculty at Tufts University and was professor of electrical engineering and computer science at the University of Illinois, Champaign-Urbana. At Illinois, he was also a director of the university's Center for Supercomputing Research and Development. He has served as editor for seven mathematics, computer, and information theory publications, has helped organize a dozen conferences and symposia, and has published over fifty journal papers, book chapters, and conference proceedings. He has also delivered over 100 research lectures at universities, symposia, and colloquia around the world.

Vincent Berk

E-Mail:

Vincent Berk is a researcher and lecturer at the Thayer School of Engineering at Dartmouth College in Hanover, New Hampshire. He has a Ph.D in Computer Science from Leiden University in the Netherlands. At Dartmouth, Vincent teaches Computer Architecture for graduate students (ENGS116 and COSC107) and has delivered dozens of research lectures at universities and conferences around the world. His specialties are Process Query Systems, computer architecture, parallel computing, and computer graphics.

E-Mail:

Ian holds an AB in Physics from Vassar College,a BE in Computer Engineering from the Thayer School at Dartmouth College and expects to receive his M.S. in Computer Engineering from the Thayer School in June 2005. He works on using PQS to detect network attacks.

E-Mail:

Annarita Giani is a Ph.D. candidate in Computer Engineering at the Thayer School of Engineering, Dartmouth College.

She received her Laurea Degree in Applied Mathematics from the State University of Pisa, Italy. She worked for several years at the Institute for Informatics and Telematics of the Italian National Research Council (CNR) of Pisa. Her research interests include Communication Theory, Signal Processing and Computer Security.

Since the inception of the PQS project in 2003, she has been involved in investigating hidden discrete event systems models in particular efficient algorithms for process detection and estimation. In addition, she works on applying PQS to the detection of covert channels.

E-Mail:

Alex Barsamian received his B.A. in Computer Science and Mathematics from Dartmouth College in 2004. He spent a year in the medical image processing industry prior to his appointment at the Institute for Security Technology Studies as a researcher in 2005. His past-and-present research interests include PKI, formal verification, graphics, and Process Query Systems. He will be returning to Dartmouth in 2007 as a graduate student at the Thayer School of Engineering.

E-Mail:

Paul Thompson received his Ph.D. from the University of California, Berkeley, in 1986. His graduate research was on probabilistic information retrieval. He has worked in the field of information studies for over 25 years. He has published numerous papers, journal articles, and book chapters, and has served as a reviewer for various conferences, journals, and the National Science Foundation. From 1986-1988, he was an assistant professor at Drexel University's College of Information Studies. From 1988-1993, he was a member of PRC, Inc.'s (now part of Northrop Grumman) artificial intelligence development group, where he conducted research in natural language understanding and information retrieval. From 1993 until 2001, he worked for West Publishing Company (now West Group), conducting research on natural language understanding, information retrieval, machine learning / text categorization, and text mining. After joining Dartmouth College's Thayer School of Engineering and Institute for Security Technology Studies in 2001, he continued his earlier research and began new research in the areas of semantic hacking, the application of Semantic Web technology to sensor networks, and question answering. He is currently a research associate professor in the Computer Science Department and a researcher at the Thayer School of Engineering at Dartmouth College. His current research focus is in computational linguistics and adversarial reasoning.

E-Mail:

Indeed. I am preparing to flee, even now. I told him that pig was going to be very expensive. He and his boys put it in my bed the other night, tied up and drugged and half hidden under the covers so that I sat down on the bed right next to the beast and began talking seriously on the telephone to my accountant, who was not amused when the thing suddenly began moving and I said, "I'm sorry, I'll have to call you back, there's a pig in my bed."

Which was true. I calmed the beast down with a billyclub and then hauled it up to the restaurant, where I cut it loose in the dining room at the peak of the dinner hour. People screamed and cursed me and ran around like rats while I was chopping the pig loose. Two of the fishing guides cornered it and dragged it out to a van . . . and then they slit its throat the next day, and hung it up to bleed; and then they put it in the meat locker, to cool off.

The moral of this story is Never Let Strangers Get Their Hands on the Key to Your Meat Locker. And also, Get Out While You Can. Which I will have to do now. Immediately. The fat is in the fire. Selah.

E-Mail:

Robert Savell holds a BS in Electrical Engineering as well as a BA in English from Rice University. He recently received his PhD in Computer Science from Dartmouth College and is currently a Research Associate at the Thayer School of Engineering. His research, in conjunction with the PQS group, focuses on identification and tracking of social processes operating in dynamic social networks, with applications to security, counter-terrorism, and pandemic disease tracking and response strategies. Robert is recipient of an Intelligence Community Postdoctoral Fellowship for academic years 2006 and 2007.

E-Mail:

Marion Bates received her B.A. in Cognitive Science from Dartmouth College in 2000. She has been a Macintosh Repair Technician since 1992, and completed the A+ Service Technician Certification Examination with Mac OS Specialty in 1998. While at Dartmouth College, she maintained a number of lab, faculty, and staff computers for four campus departments, and also worked as a freelance repair specialist for on- and off-campus Mac users. In 1999 she served as Campus Representative for Apple Computer, Inc., where she offered pre-sales consulting and technical assistance for Macintosh users. At the IRIA, Marion's research areas include PHP programming, web development, database design, and Unix server administration.

Yong Sheng received the B.S. degree in Computer Engineering (1992, from Beijing University of Posts and Telecommunications (BUPT), Beijing, China), and the M.S. degree in Computer Engineering (1996, from BUPT). He finished his Ph.D in Computer Engineering in August 2006, working with George Cybenko at Dartmouth College, with a dissertation entitled "The Theory of Trackability and Robustness for Process Detection".

Yong is currently a postdoc research associate in the MAP (Measure, Analyze, Protect) team, a project of the Institute for Security Technology Studies and the Center of Mobile Computing at Dartmouth College.

Yong's research interests include stochastic modeling, detection and estimation theory, time series pattern analysis, ant their applications to computer and network security.

Current occupation: Postdoc, Dartmouth College Computer Science Dept.

Glenn Nofsinger has research interests in signal processing, wireless sensor networks, physical system simulation, and the extraction of useful information from raw data. His work with PQS illustrates the application of process query systems on chemical plume tracking. Low resolution chemical sensors in high number report observations to PQS, which then provides hypotheses about chemical source locations, and plume shape. PQS can be used to locate trends and answer queries from large data sets streaming from real time physical systems such as weather, automobile traffic, or air pollution.

Prior to entering the engineering PhD program at Dartmouth, Glenn Nofsinger worked at Cymer, Inc. in San Diego, CA, where excimer lasers are produced for semiconductor photolithography. He was responsible for developing automated data acquisition and testing software capable of troubleshooting and verifying excimer laser systems. He holds a BS in Physics from The College of William and Mary, and is currently a PhD candidate in engineering at The Thayer School - anticipating graduation by 2006.

Current occupation: BAE Systems

Valentino Crespi received his Laurea Degree (summa cum Laude) in Computer Science from the University of Milan in 1992. The thesis, developed at the Computer Science Department (DSI), was about the definition of a formal semantics of specification languages for concurrency based upon High Level Petri Nets, concurrent rewriting systems, many sorted equational logic and category theory.

He earned a Ph.D in 1997 on the design of fast algorithms for special instances of counting problems of graphs and matrices that are "hard" in the most general case. In September 2000 Valentino joined the Thayer School of Engineering at Dartmouth College, in the capacity of Visiting Faculty Member, where he was involved in the Agent-Based Systems Engineering Project under the direction of Prof. George Cybenko. Since September 2003, he has been at California State University Los Angeles (CalstateLA) as an Assistant Professor of Computer Science. Valentino designed a major portion of the software infrastructure for PQS/Trafen -- specifically, the entire mhtKalman package and its Java implementation.

Current occupation: Professor of Mathematics, California State University at Los Angeles

Wayne Chung received a PhD from the Thayer School of Engineering at Dartmouth College in 2006. He also has a MS in Computer Engineering from Thayer School and has dual undergraduate degrees in Engineering and Physics from Dartmouth and Bowdoin College. His research involved fraud detection and user/clique identification in social-commerce systems (eBay) with PQS, as well as using multi-stage, multi-tiered PQS engines for cyber security. In the past he has worked as the student lead on the Taskable agent software toolkit (TASK) project for autonomous scheduling of UAVs for surveillance as well as developed core components for the dynamic integration of distributed semantic services.

Current occupation: IDA/CCS

Doug Madory is a M.S. candidate at the Thayer School of Engineering. He received a B.Sc. in Electrical Engineering at the University of Virginia. Following his graduation from UVa, he was commissioned as an officer in the U.S. Air Force. While in the USAF, Doug had assignments as a Network Engineer at the Air Force Information Warfare Center in San Antonio, TX and as the C4I Systems Flight Commander for the 603d Air Control Squadron at Aviano AB, Italy. He separated from active duty in August 2004 at the rank of Captain. His research interests include securing wireless ad hoc networks and applying PQS to the realm of bioinformatics.

Current occupation: BAE Systems

Prior to his appointment at Dartmouth, George Bakos was a Security Engineer for Electronic Warfare Associates, conducting audits, penetration tests, policy review and security engineering/implementation. He developed and taught the US Army National Guard's CERT technical curriculum and ran the NGB's Information Operations Training & Development Center research lab for two years, fielding and supporting dozens of Computer Emergency Response Teams (CERTs) nationwide. George's current research efforts include Active Worm Detection, through ICMP Metering and further development of the SHADOW Intrusion Analysis System. In his spare time, George teaches Intrusion Detection and Security Essentials for the SANS Institute.

Current occupation: Northrup Grumman (?)

PQS Alumni since 2005

As a research associate for ISTS, Naomi Fox worked in the areas of Network Forensics and Semantic Hacking. In Network Forensics, she focused on the design and analysis of experiments for rapid detection of malware. Her Semantic Hacking research involved integrating various language processing and information retrieval tools into a single tool for detecting fraudulent information in web documents. She received her BA in computer science from Smith College in 2002. In 2003, she received her BE in computer engineering from the Thayer School of Engineering, Dartmouth College. She has held internships at IBM Research, Compaq, the Smith College Computer Science Department, and the Cooper Union Biomedical Engineering Lab. Her past research areas include computational geometry, circuit simulation, and biomedical engineering.

Current occupation: UMass, Ph.D. student

Bob Gray was a Research Assistant Professor in the Thayer School of Engineering at Dartmouth College, which he joined in 1997. His research focused on mobile-code and information-retrieval systems, particularly performance and security concerns. He developed one of the first mobile-agent systems as part of his Ph.D. thesis work.

In his role as a Research Scientist at the Institute for Security Technology Studies, he provided general programming and technical support. He concentrated on two research areas: (1) information-retrieval systems that allow law enforcement and other security personnel to quickly find needed information during terrorist events, and (2) the security risks and benefits associated with mobile code, which is gaining widespread use in Internet applications. Gray received a B.S. in Computer Science from the University of Vermont in 1993 and a Ph.D. in Computer Science from Dartmouth College in 1997. He is a member of Institute for Electrical and Electronics Engineers (IEEE), ACM and USENIX, and recently was one of the main organizers of a new IEEE conference on Agent Systems and Applications.

Current occupation: BAE Systems

Bill was a Senior Research Engineer at Dartmouth's Institute for Security Technology Studies, working on Honeypot development and other network security projects. He is a content author and faculty member at the SANS Institute. His background is in network and operating system security; he was the chief architect of a commercial firewall and is an active contributor to the Linux development effort. His spare time is spent coordinating and maintaining an antispam blacklist. Bill's articles and tools can be found in SysAdmin magazine, online journals, and at http://www.stearns.org.

Current occupation: SANS instructor

(bio coming soon.)

Current occupation: Lawrence Livermore NL

(bio coming soon.)

Current occupation: Greylock Partners

(bio coming soon.)

Current occupation: Rocket Software

(bio coming soon.)

Current occupation: BAE Systems