Contact Information
e-mail: (PGP public key)
Associate Professor
Department of General Systems Studies(sorry, Japanese info only)
and the Graduate Program on Environmental Sciences (GPES)(English information)
Graduate School of Arts and Sciences, The University of Tokyo
Previously at:
- Tokyo Institute of Technology, Assistant Professor in the Global Edge Institute
- NASA/Caltech Jet Propulsion Laboratory Artificial Intelligence Group, where I worked on a number of projects, including:
- ASPEN automated planning/system for spacecraft autonomy. ASPEN is the planning component of the CASPER planning/execution engine, which controls the NASA Earth Observing-1 satellite.
- Cloud and dust devil detection algorithms for the Spirit and Opportunity Mars Exploration Rovers. These algorithms were uploaded to the rovers, as part of a software update, and are currently in use.
- Blue Pumpkin Software (now part of Verint Systems), where I developed a widely used staff scheduling system
- University of California, Los Angeles, Ph.D. and M.S. in Computer Science.
- Thesis 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, Autonomous Robotics, and Spacecraft Autonomy.
Current Professional Activities/Service
- Program Committee Member:
- AAAI Conference on Artificial Intelligence AAAI-2012
- International Conference on Automated Planning and Scheduling ICAPS-2012
- International Conference on Autonomous Agents and Multiagent Systems AAMAS-2012
- International Lisp Conference ILC-2012
Selected Publications
- Fukunaga A, Hiruma H, Komiya K, Iba H. Evolving Controllers for High-Level Applications on a Service Robot: A Case Study of Visitor Flow Management in an Exhibition Space. Genetic Programming and Evolvable Machines (accepted).
- (pdf Draft) (SpringerLink) Fukunaga A. A Branch-and-Bound Algorithm for Hard, Multiple Knapsack Problems. Annals of Operations Research , 184:97-119, 2011.
- (pdf) Fukunaga A. Search spaces for min-perturbation repair. Proc. 15th Int. Conf. on Principles and Practice of Constraint Programming (CP-2009), pp.383-390, 2009.
- (pdf) Kishimoto A, Fukunaga A, Botea A. Scalable, parallel best-first search for optimal sequential planning. Proc. 19th Int. Conference on Automated Planning and Scheduling (ICAPS-2009) [**Best Paper Award**]
- (pdf) Fukunaga A. Automated discovery of local search heuristics for satisfiability testing. Evolutionary Computation (MIT Press), Vol 16, Number 1, pp.31-61, 2008.
- (pdf) 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.
- (pdf) 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(5-6), pp.467-482, 2008.
- (pdf) Fukunaga A. Efficient Implementation of SAT Local Search. Proceedings of the Seventh International Conf. on Theory and Applications of Satisfiability Testing (SAT-2004), Vancouver, British Columbia, 2004.
- (pdf) 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
- (pdf) 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. Special issue on selected papers from Innovative Applications of AI 2002.
- (pdf) 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.
- (pdf) Fukunaga A. Restart Scheduling for Genetic Algorithms. Proceedings of the 5th International Conference on Parallel Problem Solving from Nature (PPSN-V), Leiden, Netherlands, September, 1998.
- (pdf) Fukunaga A. Rabideau G, Chien S, Yan D. ASPEN: An Application Framework for Automated Planning and Scheduling of Spacecraft Control and Operations. Proceedings of the International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS97), Tokyo, Japan, 1997, pp. 181-187
- (pdf) 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]
- (pdf) 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
- Fukunaga A, Hiruma H, Komiya K, Iba H. Evolving Controllers for High-Level Applications on a Service Robot: A Case Study of Visitor Flow Management in an Exhibition Space. Genetic Programming and Evolvable Machines (accepted).
- (pdf Draft) (SpringerLink) Fukunaga A. A Branch-and-Bound Algorithm for Hard, Multiple Knapsack Problems. Annals of Operations Research , 184:97-119, 2011.
- Gong Y, Fukunaga A. A Distributed, Island-Model Genetic Algorithm Using Heterogeneous Parameter Settings. Proc. IEEE Congress on Evolutionary Computation (CEC-2011), New Orleans, pp.137-144.
- Hiruma H, Fukunaga A, Komiya K, Iba H. Evolving a Goal Selection Strategy for a Robot Tour Guide. Proc. IEEE Congress on Evolutionary Computation (CEC-2011), New Orleans, pp.137-144.
- Akagi Y, Kishimoto A, Fukunaga A. On Transposition Tables for Single-Agent Search and Planning: Summary of Results. Proc. 3rd Annual Symposium on Combinatoril Search (SoCS), pp.2-9, 2010.
- Kishimoto A, Fukunaga A, Botea A. On the Scaling Behavior of HDA*. Proc. 3rd Annual Symposium on Combinatoril Search (SoCS), pp.61-62, 2010.
- (pdf) Fukunaga A. Search spaces for min-perturbation repair. Proc. 15th Int. Conf. on Principles and Practice of Constraint Programming (CP-2009), pp.383-390, 2009.
- (pdf) Kishimoto A, Fukunaga A, Botea A. Scalable, parallel best-first search for optimal sequential planning. Proc. 19th Int. Conference on Automated Planning and Scheduling (ICAPS-2009) [**Best Paper Award**]
- Fukunaga A. A Massively Parallel GP for Discovering Satisfiability Solvers. Proc. 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 Proc. 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.
- 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.
- (pdf) Fukunaga A. Automated discovery of local search heuristics for satisfiability testing. Evolutionary Computation (MIT Press). Vol 16, Number 1, pp.31-61, 2008.
- (pdf) 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.
- (pdf) 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(5-6), pp.467-482, 2008.
- 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).
- (pdf) 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. 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 the Seventh International Workshop on Symmetry and Constraint Satisfaction Problems (SymCon'07), Providence, Rhode Island, 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 the International Conference on Image Processing (ICIP-06), Atlanta, GA 2006, pp.2765-2768.
- (pdf) 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 the IEEE Aerospace Conference, March 2006.
- (pdf) Fukunaga A, Korf RE. Bin-completion algorithms for multicontainer packing and covering problems. Proc. International Joint Conference on Artificial Intelligence, 2005. (IJCAI-05) Edinburgh, Scotland, pp.117-124.
- (pdf) Fukunaga A. Efficient Implementation of SAT Local Search. Proceedings of the Seventh International Conf. on Theory and Applications of Satisfiability Testing (SAT-2004), Vancouver, British Columbia, 2004.
- (pdf) Fukunaga A. Evolving Local Search Heuristics for SAT. Proceedings of the Genetic and Evolutionary Computation Conference (GECCO-2004), Seattle, WA, 2004. [**Human-Competitive Results Award, Silver Prize**]
- (pdf) 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
- (pdf) 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).
- (pdf) 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.
- (pdf) 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. Special issue on selected papers from Innovative Applications of AI 2002.
- (pdf) Fukunaga A. Automated Discovery of Composite SAT Variable-Selection Heuristics. Proceedings of the 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.
- (pdf) Fukunaga A. Genetic Algorithm Portfolios. Proceedings of the IEEE Congress on Evolutionary Computation (CEC-2000), San Diego, CA, 2000.
- (pdf) 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 the SPIE, Vol. 3326. 1998.
- (pdf) 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. (AAAI Technical Report WS-98-03), pp. 58-72.
- (pdf) Stoica A, Fukunaga A, Hayworth K. Evolvable Hardware for Space Applications. Proceedings of the International Conference on Evolvable Systems (ICES-98), Lausanne, Switzerland, August, 1998.
- (pdf) Sherwood R, Govindjee A, Yan D, Rabideau G, Chien S, Fukunaga A. Using ASPEN to Automate EO-1 Activity Planning. Proceedings of the IEEE Aerospace Conference, Snowmass, CO, March, 1998.
- (pdf) Fukunaga A. Restart Scheduling for Genetic Algorithms. Proceedings of the 5th International Conference on Parallel Problem Solving from Nature (PPSN-V), Leiden, Netherlands, September, 1998.
- (pdf) Fukunaga A, Stechert A, Mutz D. A genome compiler for high-performance genetic programming. Proceedings of the 3rd Annual Genetic Programming Conference, 1998 (GP-98).
- (pdf) Fukunaga A, Stechert A. Evolving nonlinear predictive models for lossless image compression with genetic programming. Proceedings of the 3rd Annual Genetic Programming Conference, 1998 (GP-98).
- (pdf) Fukunaga A, Stoica A, Hayworth K. Evolvable Hardware for Spacecraft Autonomy. Proceedings of the 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 the 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 the NASA Workshop on Planning and Scheduling for Space, Oxnard, CA, October 1997
- (pdf) Fukunaga A, Stechert AD, Chien S. Towards a Self-Configuring Optimization System for Spacecraft Design. Proceedings of the International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS97), Tokyo, Japan, 1997, pp. 223-228.
- (pdf) Fukunaga A. Rabideau G, Chien S, Yan D. ASPEN: An Application Framework for Automated Planning and Scheduling of Spacecraft Control and Operations. Proceedings of the International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS97), Tokyo, Japan, 1997, pp. 181-187
- (pdf) Fukunaga A. Variable-Selection Heuristics in Local Search for Satisfiability Testing. Proceedings of the National Conference on Artificial Intelligence (AAAI-97), Providence, RI, 1997, pp.275-280.
- (pdf) Fukunaga A, Stechert AD. An Evolutionary Optimization System for Spacecraft Design. Proceedings of the 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.
- (pdf) 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
- (pdf) 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]
- (pdf) Fukunaga A, Huang DJ-H, Kahng AB. Large-Step Markov Chain Variants for Netlist Partitioning. Proceedings of the IEEE Int. Symposium on Circuits and Systems, 1996 (ISCAS-96)., pp.496-9 (vol 4).
- (pdf) 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.
- Cao Y, Fukunaga A, Kahng AB, Meng F. Cooperative Mobile Robotics: Antecedents and Directions. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems 1995 (IROS-95), pp.226-234.
- (pdf) Fukunaga A, Kahng AB. Improving the Performance of Evolutionary Optimization by Dynamically Scaling the Evaluation Function. Proceedings of the IEEE International Conference on Evolutionary Computation (ICEC-95), November, 1995, pp. 182-187.
- (pdf) Fukunaga A, Ngo JT, Marks J. Solving the Spacetime Constraints Problem Using Evolutionary Programming Algorithms. Proceedings of the 3rd Annual Conference on Evolutionary Programming (EP-94), San Diego, CA, World Scientific, 1994.
- (pdf) Fukunaga A, Kimura TD, Pree W. Object-Oriented Development of a Data Flow Visual Language System. Proceedings of the 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. Proceedings of the ACM Computer Science Conference, Indianapolis, IN, ACM Press, 1993.
Technical Reports
- (pdf) 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.
- (pdf) 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.
Other Conference/Workshop Presentations (Abstracts Without Full Papers)
- 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.
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.