Contact Info

e-mail:

If you're interested in symmetry and search problems (constraint satisfaction, planning, etc), please participate in SymCon09 - 9th International Workshop on Symmetry and Constraint Satisfaction Problems, a CP2009 workshop.

Education/Experience

Currently at:

• Tokyo Institute of Technology, Assistant Professor in the Global Edge Institute

• NASA/Caltech Jet Propulsion Laboratory Artificial Intelligence Group, where I contributed to:
  • ASPEN automated planning/system for spacecraft autonomy. ASPEN is a component of the Autonomous Sciencecraft Experiment, which is currently controlling the NASA Earth Observing-1 satellite.

  • On-board, autonomous cloud and dust devil detection algorithms for the Spirit and Opportunity Mars Exploration Rovers. These algorithms have been uploaded to the rovers, as part of software update.

• Blue Pumpkin Software (now part of Verint Systems)

  Developed staff scheduling software successfully deployed at thousands of call centers worldwide.

• University of California, Los Angeles, Ph.D. and M.S. in Computer Science. Advisor: Prof. Richard E. Korf
• Harvard University, A.B. in Computer Science

Research Interests

Artificial Intelligence, Heuristic Search, Planning, Constraint Programming, Parallel Programming, Combinatorial Optimization, Metaheuristics, Evolutionary Computation, Spacecraft/Robot Autonomy.

Selected Publications

• Fukunaga A. Search spaces for min-perturbation repair. To appear in CP-2009
• Kishimoto A, Fukunaga A, Botea A. Scalable, parallel best-first search for optimal sequential planning. To appear in ICAPS-2009
• Fukunaga A. Integrating Symmetry, Dominance, and Bound-and-bound in a Multiple Knapsack Solver. Proceedings of The Fifth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR-08), Paris, France, 2008
• Fukunaga A. Automated discovery of local search heuristics for satisfiability testing. Evolutionary Computation (MIT Press). Vol 16, Number 1, pp.31-61, 2008.
• Fukunaga A, Korf RE. Bin-completion algorithms for multicontainer packing, knapsack, and covering problems. Journal of Artificial Intelligence Research. vol 28, pp.393-429, 2007.
• Castano A, Fukunaga A, Biesiadecki J, Neakrase L, Whelley P, Greeley R, Lemmon M, Castano R, Chien S. Automatic detection of dust devils and clouds on Mars. Machine Vision and Applications. vol 19, numbers 5-6, pp.467-482, 2008.
• Fukunaga A, Hamilton E, Fama J, Andre D, Matan O, Nourbakhsh. Staff Scheduling for Inbound Call Centers and Customer Contact Centers. AI Magazine 23(4): Winter 2002, pp.30-40. (Previous version appeared in IAAI-02.)
• Fukunaga A. Rabideau G, Chien S. ASPEN: An Application Framework for Automated Planning and Scheduling of Spacecraft Control and Operations. Proceedings of International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS97), Tokyo, Japan, 1997, pp. 181-187
• Cao Y, Fukunaga A, Kahng AB. "Cooperative Mobile Robotics: Antecedents and Directions", Autonomous Robots vol 4, 1997. [Reprinted as a chapter in the book: Robot Colonies, Arkin RC and Bekey GA, eds., Kluwer Academic Press, ISBN 0-7923-9904-8, 1997]
• Auslander J, Fukunaga A, Partovi H, Christensen J, Hsu L, Reiss P, Shuman A, Marks J, Ngo JT. " "Further Experience with Controller-Based Automatic Motion Synthesis for Articulated Figures ACM Transactions on Graphics, vol 14, no. 4, pp. 311-336, 1995.

Publications

(Japanese papers and publications are listed here)

Peer-Reviewed Publications

• Fukunaga A. Search spaces for min-perturbation repair. To appear in CP-2009
• Kishimoto A, Fukunaga A, Botea A. Scalable, parallel best-first search for optimal sequential planning. To appear in ICAPS-2009
• Fukunaga A. A Massively Parallel GP for Discovering Satisfiability Solvers. IEEE Congress on Evolutionary Computation (CEC-2009), Trondheim, Norway, May, 2009.
• Fukunaga A, Tazoe S. Combining Multiple Representations in a Genetic Algorithm for the Multiple Knapsack Problem IEEE Congress on Evolutionary Computation (CEC-2009), Trondheim, Norway, May, 2009.
• Gong Y, Fukunaga A. Fault Tolerance in Distributed Genetic Algorithms with Tree Topologies IEEE Congress on Evolutionary Computation (CEC-2009), Trondheim, Norway, May, 2009. 5D
• Fukunaga A. A Parallel, Lisp-Based Genetic Programming System for Discovering Satisfaibility Solvers. International Lisp Conference (ILC-09), pp.137-148. Boston, March 22-26, 2009.

• Fukunaga A. Search Algorithms for Minimal-Cost Repair Problems. Proc. CP/ICAPS Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Systems (COPLAS-08).
• Fukunaga A. Dominance in Incomplete Solvers for the Multiple Knapsack Problem. Proc. Eighth Int. Workshop on Symmetry and Constraint Satisfaction Problems (SymCon-08).
• Castano A, Fukunaga A, Biesiadecki J, Neakrase L, Whelley P, Greeley R, Lemmon M, Castano R, Chien S. Automatic detection of dust devils and clouds on Mars. Machine Vision and Applications. vol 19, numbers 5-6, pp.467-482, 2008.
• Fukunaga A. Integrating Symmetry, Dominance, and Bound-and-bound in a Multiple Knapsack Solver. Proceedings of The Fifth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR-08), Paris, France, 2008.
• Fukunaga A. Automated discovery of local search heuristics for satisfiability testing. Evolutionary Computation (MIT Press). Vol 16, Number 1, pp.31-61, 2008.
• Fukunaga A. A new grouping genetic algorithm for the multiple knapsack problem. Proc IEEE Congress on Evolutionary Computation (CEC2008), Hong Kong, China.pp.2225-2232, June 1-6, 2008.
• Chien S, Castano R, Bornstein B, Fukunaga A, Castano A, Biesiadecki J, Greeley R, Whelley P, Lemmon M. Results from Automated Cloud and Dust Devil Detection Onboard the MER rovers. Proceedings of the Ninth International Symposium on Artificial Intelligence, Robotics, and Automation in Space (i-SAIRAS-08), Los Angeles, CA 2008.
• Fukunaga A. Exploiting symmetry in multiple knapsack problems. Proceedings of Seventh International Workshop on Symmetry and Constraint Satisfaction Problems (SymCon'07), Providence, Rhode Island, 2007.
• Fukunaga A, Korf RE. Bin-completion algorithms for multicontainer packing, knapsack, and covering problems. Journal of Artificial Intelligence Research. vol 28, pp.393-429, 2007.
• Castano A, Fukunaga A, Biesiadecki J, Neakrase L, Whelley P, Greeley R, Lemmon M, Castano R, Chien S. Autonomous detection of dust devils and clouds on Mars. Proceedings of International Conference on Image Processing (ICIP-06), Atlanta, GA 2006, pp.2765-2768.
• Castano R, Estlin T, Gaines D, Castano A, Chouinard C, Bornstein B, Anderson R, Chien S, Fukunaga A, Judd M. Opportunistic Rover Science: Finding and Reacting to Rocks, Clouds, and Dust Devils. Proceedings of IEEE Aerospace Conference, March 2006.
• Fukunaga A, Korf RE Bin-completion algorithms for multicontainer packing and covering problems. International Joint Conference on Artificial Intelligence, 2005. (IJCAI-05) Edinburgh, Scotland, pp.117-124.
• Fukunaga A, Bin-completion algorithms for multicontainer packing and covering problems. Ph.D. Thesis. UCLA Computer Science Department. 2005.
• Fukunaga A. Efficient Implementation of SAT Local Search. Proceedings of Seventh International Conf. on Theory and Applications of Satisfiability Testing (SAT-2004), Vancouver, British Columbia, 2004.
• Fukunaga A. Evolving Local Search Heuristics for SAT. Proceedings of Genetic and Evolutionary Computation Conference (GECCO-2004), Seattle, WA, 2004. (Human-Competitive Results Award, Silver Prize)
• Fukunaga A, Rabideau G, Chien S Robust local search for spacecraft operations using adaptive noise. Proceedings of the 4th International Workshop on Planning and Scheduling for Space (IWPSS-04), Darmstadt, Germany, 2004
• Fukunaga A. Complete restart strategies using a compact representation of the explored search space. IJCAI-03 Workshop on Stochastic Search Algorithms, Acapulco, Mexico. Note: several typographical errors in the original workshop paper have been corrected (In the example in page 3, Section 2, some AND's and OR's were unintentionally reversed).
• Chien S, Debban T, Yen C, Sherwood R, Castano R, Cichy B, Davies A, Burl M, Fukunaga A, Greeley R, Doggett T, Williams K, Baker V, Dohm J. Revolutionary Deep Space Science Missions Enabled by Onboard Autonomy. Proc. International Symposium on Artificial Intelligence Robotics, and Automation in Space (i-SAIRAS03), Nara, Japan, 2003.
• Fukunaga A, Hamilton E, Fama J, Andre D, Matan O, Nourbakhsh. Staff Scheduling for Inbound Call Centers and Customer Contact Centers. AI Magazine 23(4): Winter 2002, pp.30-40.
• Fukunaga A. Automated Discovery of Composite SAT Variable-Selection Heuristics. Proceedings of National Conf. on Artificial Intelligence), 2002 (AAAI-02), Edmonton, Alberta, Canada, pp.641-648.
• Fukunaga A, Hamilton E, Fama J, Andre D, Matan O, Nourbakhsh. Staff Scheduling for Inbound Call Centers and Customer Contact Centers. Proc. Innovative Applications of Artificial Intelligence, 2002 (IAAI-02), Edmonton, Alberta, Canada.
• Fukunaga A. Genetic Algorithm Portfolios. Proceedings of Conference on Evolutionary Computation (CEC-2000), San Diego, CA, 2000.
• Rabideau G, Knight R, Chien S, Fukunaga A, Govindjee A. Iterative repair planning for spacecraft operations in the ASPEN system. Proceedings of the International Syposium on Artificial Intelligence, Robotics, and Automation in Space (i-SAIRAS99), Noordwijk, The Netherlands, June, 1999.
• Thakoor S, Fukunaga A, Morookian J-M, Stoica A. Smart actuators for biomorphic systems. In Sater JM, ed., Industrial and Commercial Applications of Smart Structures Technologies. Proceedings of SPIE, Vol. 3326. 1998.
• Smith B, Sherwood R, Govindjee A, Yan D, Rabideau G, Chien S, Fukunaga A. Representing Spacecraft Mission Planning Knowledge in ASPEN. AIPS-98 Workshop on Knowledge Engineering and Acquisition for Planning, June 1998. (Workshop notes published as AAAI Technical Report WS-98-03), pp. 58-72.
• Sherwood R, Govindjee A, Yan D, Rabideau G, Chien S, Fukunaga A. Using ASPEN to Automate EO-1 Activity Planning. Proceedings of IEEE Aerospace Conference, Snowmass, CO, March, 1998.
• Fukunaga A. Restart Scheduling for Genetic Algorithms. Proceedings of 5th International Conference on Parallel Problem Solving from Nature (PPSN-V), Leiden, Netherlands, September, 1998.
• Stoica A, Fukunaga A, Hayworth K. Evolvable Hardware for Space Applications. Proceedings of International Conference on Evolvable Systems (ICES-98), Lausanne, Switzerland, August, 1998.
• Fukunaga A, Stechert A, Mutz D. A genome compiler for high-performance genetic programming. Proceedings of 3rd Annual Genetic Programming Conference, 1998 (GP-98).
• Fukunaga A, Stechert A. Evolving nonlinear predictive models for lossless image compression with genetic programming. Proceedings of 3rd Annual Genetic Programming Conference, 1998 (GP-98).
• Fukunaga A, Stoica A, Hayworth K. Evolvable Hardware for Spacecraft Autonomy. Proceedings of IEEE Aerospace Conference, Snowmass, CO, March, 1998.
• Chien S, DeCoste D, Fukunaga A, Rabideau G, Mann T, Winkler D. Automated Telemetry Analysis, Maintenenance Request Generation, and Maintenance Plan Generation, Scheduling, and Updating for Highly Reusable Space Transportation: A Preliminary Demonstration. Proceedings of NASA Workshop on Planning and Scheduling for Space, Oxnard, CA, October 1997
• Sherwood R, Govindjee Yan D, Rabideau G, Chien S, Fukunaga A. ASPEN: EO-1 Mission Activity Planning Made Easy. Proceedings of NASA Workshop on Planning and Scheduling for Space, Oxnard, CA, October 1997
• Fukunaga A. Rabideau G, Chien S. ASPEN: An Application Framework for Automated Planning and Scheduling of Spacecraft Control and Operations. Proceedings of International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS97), Tokyo, Japan, 1997, pp. 181-187
• Fukunaga A. "Variable-Selection Heuristics in Local Search for Satisfiability Testing," Proceedings of National Conference on Artificial Intelligence (AAAI-97), Providence, RI, 1997, pp.275-280.
• Fukunaga A, Stechert AD, Chien S. Towards a Self-Configuring Optimization System for Spacecraft Design. Proceedings of International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS97), Tokyo, Japan, 1997, pp. 223-228.
• Fukunaga A, Stechert AD. An Evolutionary Optimization System for Spacecraft Design. Proceedings of Tenth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE-97)}, Atlanta, GA, 1997, pp.1-6.
• Fukunaga A. "Application of an Incremental Evolution Technique to Spacecraft Design Optimization.", Proc. IEEE International Conference on Evolutionary Computation (ICEC'97), Indianapolis, IN, 1997, pp. 431-435 Aerospace Conference, Snowmass CO, 1997.
• Fukunaga A, Chien S, Mutz D, Sherwood R, Stechert A. "Automating the Process of Optimization in Spacecraft Design", Proc. IEEE Aerospace Conference, Snowmass CO, 1997, vol. 4 pp. 411-428
• Fukunaga A, Rabideau G, Chien S, Yan D. "Toward an Application Framework for Automated Planning and Scheduling", Proc. IEEE Aerospace Conference, Snowmass CO, 1997, vol. 1 pp.375-386
• Cao Y, Fukunaga A, Kahng AB. "Cooperative Mobile Robotics: Antecedents and Directions", Autonomous Robots vol 4, 1997. [Reprinted as a chapter in the book: Robot Colonies, Arkin RC and Bekey GA, eds., Kluwer Academic Press, ISBN 0-7923-9904-8, 1997]
• Fukunaga A, Huang DJ-H, Kahng AB. "Large-Step Markov Chain Variants for Netlist Partitioning", in Proceedings of IEEE Int. Symposium on Circuits and Systems, 1996 (ISCAS-96)., pp.496-9 (vol 4).
• Cao Y, Fukunaga A, Kahng AB, Meng F. "Cooperative Mobile Robotics: Antecedents and Directions", In Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems 1995 (IROS-95), pp.226-234.
• Fukunaga A, Kahng AB. "Improving the Performance of Evolutionary Optimization by Dynamically Scaling the Evaluation Function.", in Proceedings of IEEE International Conference on Evolutionary Computation (ICEC-95), November, 1995, pp. 182-187.
• Auslander J, Fukunaga A, Partovi H, Christensen J, Hsu L, Reiss P, Shuman A, Marks J, Ngo JT. " "Further Experience with Controller-Based Automatic Motion Synthesis for Articulated Figures ACM Transactions on Graphics, vol 14, no. 4, pp. 311-336, 1995.
• Fukunaga A, Christensen J, Ngo JT, Marks J. "A Comparative Study of Search and Optimization Algorithms for the Automatic Control of Physically Realistic 2-D Animated Figures", Technical Report TR-23-94, Center for Research in Computing Technology, Harvard University, August, 1994.
• Fukunaga A, Ngo JT, Marks J. "Solving the Spacetime Constraints Problem Using Evolutionary Programming Algorithms", Proceedings of the Third Annual Conference on Evolutionary Programming (EP-94), San Diego, CA, World Scientific, 1994.
• Fukunaga A, Hsu L, Reiss P, Shuman A, Christensen J, Marks J, Ngo JT. "Motion Synthesis Techniques for 2-D Articulated Figures", Technical Report TR-05-94, Center for Research in Computing Technology, Harvard University, March, 1994.
• Fukunaga A, Kimura TD, Pree W. "Object-Oriented Development of a Data Flow Visual Language System", in Proceedings of IEEE/CS Symposium on Visual Languages (VL-93), Bergen, Norway, IEEE Press, 1993, pp. 134-141.
• Fukunaga A, Pree W, Kimura TD. "Functions as Data Objects in a Data Flow Based Visual Language", in Proceedings of the ACM Computer Science Conference, Indianapolis, IN, ACM Press, 1993.

Other Conference/Workshop Presentations (Abstracts Without Full Papers / Non-refereed)

• Fukunaga A. Simulation-based Local Search for Large-scale Workforce Scheduling Problems. INFORMS Annual Meeting, Seattle, Washington, November 4-7, 2007.
• Fukunaga A. An algorithm for the min-cost bin rebalancing problem. EURO Special Interest Group on Cutting and Packing (ESICUP), Tokyo, Japan, March 26-27, 2007.
• Bornstein B, Fukunaga A, Castano A, Biesiadecki J, Castano R, Chien S, Greeley R, Whelley P, Neakrase L, Lemmon M. Onboard science on the Mars Exploration Rovers: Cloud and dust devil detection. Lunar and Planetary Science XXXVII, Abstract 2420. League City, Texas. March 12-16, 2007.
• Castano R, Castano A, Fukunaga A, Chien S, Biesiadecki J, Schaffer S, Greeley R, Whelley P, Neakrase L, Lemmon M. Detection of dynamic features onboard Mars rovers Eos Trans. AGU, 87(36), Jt. Assem. Suppl., Abstract IN43A-04. Balimore, MD. 2006 (American Geophysical Union Joint Assembly)
• Castano A, Fukunaga A, Castano R, Chien S, Greely R, Whelley P, Neakrase L, Lemmon M. Feature Detection Onboard Mars Rovers: Automated cloud and Dust Devil Detection. Proceedings of Lunar and Planetary Science XXXVII, 2006.
• Fukunaga A, Korf RE. A Branch-and-Bound Strategy for Multiple-Container Knapsack and Packing Problems. EURO Special Interest Group on Cutting and Packing, Southampton (ESICUP), UK, April 14-16, 2005.

Professional Activities/Service

Awards

• NASA Group Achievement Award. "For design, implementation, and deployment of algorithms for automated dust devil and cloud detection onboard the Mars Exploration Rovers," 2009.
• NASA Space Act Award. "Software Cloud and Dust Devil Detection for Rover and/or Lander Imagery," 2008.
• GECCO-2004 Conference Human Competitive Results - Silver Award.
• IAAI (Innovative Applications of Artificial Intelligence) Conference Deployed Application Award, 2002 (Blue Pumpkin Director staff scheduling system).
• NASA Software of the Year Award, Honorable Mention 1999 (member of ASPEN planning/scheduling system development team)

Software

• CL-MPI - A portable, Common Lisp binding for the Message Pasing Interface (MPI). Enables message-passing based parallel Common Lisp programming on either a cluster or a single multi-core machine.

Other Info