WebPage
of


ha at dcs dot upd dot edu dot ph


English

Filipino

Henry N. Adorna is a member of the Faculty of the Department of Computer Science, College of EngineeringUniversity of the Philippines Diliman, 1101 Quezon City, Philippines.

He heads the Algorithms and Complexity Laboratory of the Department.

The research interests of Henry are in the Mathematical Foundations of Computer Science, in particular, Membrane Computing, Automata and Formal Language Theory, Discrete Mathematics and Algorithms for Hard Problems.

Henry is one of the founders and co-organizers (J. Caro, F.P. Muga II) of SMACS (Symposium on the Mathematical Aspects of Computer Science). 

Best known upper bound of Henry's Erdos Number is 3, via:

    Henry ADORNA, Gheorghe PAUN, and M. J. PEREZ-JIMENEZ, On Communication Complexity in Evolution-Communication P Systems, Romanian Journal of Information Science and Technology, Vol. 13 No. 2 pp. 113–130, 2010

    Solomon Marcus and Gheorghe Pâun, On symmetry in languages, International Journal of Computer Mathematics, 1029-0265, Volume 52, Issue 1, pp. 1 – 15, 1994

    Paul Erdös and Solomon Marcus, Sur la decomposition de l'espace euclidien en ensembles homogenes, Acta Mathematica Academiae Scientiarum Hungaricae, Vol. 8, Number 3-4, pp. 443-452, 1957

 

Teachings:

As Research Laboratory Head I always administer CS 198 and CS 199 every first and second semester, respectively, of every academic year.

        2016-2017     First Semester
                                                                     CS 204: Theory of Computation
                                                                     CS 297: Topics in Graph Theory
                                                                     CS 318: Approximation Algorithms
                                                                     CS 133: Automata and Computability

        2015-2016                                           on Sabbatical Leave

        2014-2015      First Semester
                                                                    CS 204: Theory of Computations  (UPDil and UPCebu)
                                                                    CS 297: Formal Models and Computability 

                              Second Semester
                                                                    CS 204:  Theory of Computation
                                                                    CS 315:  Algorithms in Bioinformatics
                                                                    CS 397:  Special Topics on Automata, Computability, Languages and Applications 
                                                                    CS 133:   Automata and Computability

                                                                    CS 297: Topics in Discrete Mathematics (UPCebu)
                                

        2013-2014      First Semester
                                                                    CS 204:  Theory of Computations  (UPDil and UPCebu)
                                                                    CS 360:  Formal Methods
                                                                    CS 133:  Automata and Computability

                                Second Semester
                                                                    CS 133:   Automata and Computability
                                                                    CS 208:   Computational Complexity Theory
                                                                    CS 290:   Approaches In Solving Hard Problems
                                                                    CS 297:   Natural Computing And Process Calculi 
        
        
2012-2013       First Semester
                                                                    CS 30:    Discrete Mathematics
                                                                    CS 204:  Theory of Computations
                                                                    CS 211:  Combinatorial Optimization
                                                                    CS 397:  Natural and Unconventional Computing Models

                               
Second Semester
                                                                    CS 301: Communication Complexity
                                                                    CS 290: Topics in Unconventional Computing
                                                                    CS 197: Bridging Theoretical Computer Science


       
2011-2012       First Semester
                                                                    CS 397: Models of Computations
                                                                    CS 204: Theory of Computations
                                                                    CS 197: Bridging Theoretical Computer Science


                               Second Semester
                                                                    CS 290: Models of Computations and Complexity Measures
                                                                    CS 297: Communication Complexity

        
2010-2011       First Semester
                                                                    CS 204: Theory of Computation
                                                                    CS 133: Automata and Computability Theory
                                                                    
                                Second Semester
                                                                   
CS 290     Grammar, Communication, and Languages
                                                                    CS 208     Computational Complexity Theory
                                                                    CS 297     Formal Models and Computability


        
2009-2010      First Semester
                                                                    CS 204    Theory of Computation
                                                                    CS 297    Automata, Grammar, and Communication

                               Second Semester
                                                                    CS 290:  Algorithmics for Hard Problems
                                                                    CS 297:  Special Topics in Communication Complexity
                                                                    Math 157: Discrete Mathematical Structures
        
        2008-2009       First Semester            
                                                                     CS 133: Automata and Computability
                                                                     CS 204: Theory of Computation
                                                                     CS 297: Computer-Assisted Argumentation
                                                                                    and Non-monotonic Reasoning
                                                                     CS 296: Graduate Seminar

                                 Second Semester
                                                                     Math 157: Discrete Mathematical Structures
                                                                     CS 290:  
                                                                     CS 297:  Data Visualization  

        2007- 2008       First Semester
                                                                     CS 204:   Theory of Computation
                                                                     CS 133:   Automata and Computability
                                                                     CS 297:   Models for Biology Processes                             

List of Publications


Selected Publications:
  1. X. Zeng, H. Adorna, M.A. Martínez-del-Amor, L. Pan and M. J. Pérez-Jiménez; Matrix Representation of Spiking Neural P Systems; in Membrane Computing: Lecture Notes in Computer Science, 2011, Volume 6501/2011, 377-391,Revised Selected Papers Marian Gheorghe, Thomas Hinze, Gheorghe Paun, Grzegorz Rozenberg and Arto Salomaa (Eds).
  2. H. Adorna, Gh. Paun, and M. J. Perez-Jimenez ; On Communication Complexity in Evolution-Communication P Systems, Romanian Journal of Information Science and Technology, Vol. 13 No. 2 pp. 113–130, 2010
  3. R. A. B. Juayong, H. N. Adorna; A Note on the Universality of EC P Systems with Energy, in: 2nd International Conference on Information Technology Convergence and Services (ITCS 2010), Cebu City, Philippines, August 2010.
  4. J. Malinao, H. Adorna; An Algorithm to Efficiently Generate an Approximation of a Theory Set, Philippine Computing Journal, Vol. 4, No.2, (2009), pp. 19-32. 
  5. N. H. S. Hernandez, H. Adorna; On Network Properties of a Generalized Hypercubes, Proc. of 9th PCSC, pp. 169-173 (2009)
  6. H.N. Adorna: Some Descriptional Complexity Problems on Finite Automata. Philippine Computing Journal, Vol 3, No. 1, pp 1-6, (2008)
  7. H.N. Adorna, N.Hernandez, R. Lorenzo: On the UFA and the Strict Tree Property. Philippine Computing Journal, Vol 3, No.1, pp 7-12, (2008)
  8. H.N. Adorna, A. Aragon, P. Cabral: On Infinite Sequence induced by Collatz Problem,  Philippine Computing Science Journal, Vol 3, No. 1,  pp 40-45, (2008)
  9. H.N. Adorna: Sequences, Languages and Automata. In:R. Saldana et al. (eds), Proceedings of 8th Philippine Computing Science Congress (2008)
  10. M. de Guzman, J. Pasia, H.N. AdornaSchutzenberger's Guessing Game and Finite Kolakoski Subsequence. In: R. Saldana et al. (eds), Proceedings of 8th Philippine Computing Science Congress (2008)
  11. H.N. Adorna, A. Aragon, P. Cabral: On Infinite Sequence induced by Collatz Problem, In: R. Saldana et al. (eds) Proceedings of 6th Philippine Computing Science Congress,  (2006), 221-226
  12. H.N. Adorna: Some Descriptional Complexity Problems on Finite Automata. In: R. Saldana et al. (eds) Proceedings of 5th Philippine Computing Science Congress (2005), 27-32
  13. H.N. Adorna: On the Separation between k-Party and (k-1)-Party Nondeterministic Message Complexity. LNCS 2450, 151-161 (2003)
  14. H.N. Adorna: 3-Party Message Complexity is Better than 2-Party Ones for Proving Lower Bounds on the Size of Minimal Nondeterministic Finite Automata. Journal of Automata, Languages and Combinatorics,7 (2002) 4, 419-432.

Last Update: 10 Agosto 20016
by H.N. Adorna.
Comments and Suggestions