Graduate Chair from Fall 2013.
Director (1997-2005) of the Advanced Network Computing Laboratory (ANCL).
Taught classes on computer networking and other subjects, both at the undergraduate and the graduate level.
Led research projects in computer and wireless networking, operating systems, and embedded systems.
Currently leading the Allnet Project.
Co-PI of a DARPA research grant, "PODS: A Remote Ecological
Micro-Sensor Network" [25].
http://www.pods.hawaii.edu/, 2000-2003.
Specific tasks included: designed, implemented, and analyzed software,
collaborated with principal investigators and graduate students,
supervised research programmers, proved correctness of small
programs [32], developed data structures and interfaces for
sequential access to functional arrays [31], collaborated on
grant proposal [19], wrote quarterly reports for
funding agency, and supervised releases of the Fox Net.
Specific tasks include:
developed software to control Fore Systems' ATM switch product,
developed algorithms and signaling protocols for
ATM [35, 34]. Represented Fore Systems
at the ATM Forum, presenting ideas which were incorporated into the ATM
standard. Consulted for Fore Systems through early 1994.
Caterina Desiato, Edoardo Biagioni
Sharing Networking Resources to Create a Pervasive Infrastructure.
in the International Journal of Technology, Knowledge and
Society, Volume 9, issue 3 (2013).
Edoardo Biagioni, Kent Bridges.
The Application of Remote Sensor Technology to Assist the Recovery
of Rare and Endangered Species.
Special issue on Distributed Sensor
Networks for the International Journal of High Performance
Computing Applications, Vol. 16, N. 3 (August 2002). 15 pages.
http://www2.hawaii.edu/~esb/prof/pub/ijhpca02.html or
http://www2.hawaii.edu/~esb/prof/pub/ijhpca02.pdf
E. Biagioni, R. Harper, P. Lee.
A Network Protocol Stack in Standard ML
Journal of Higher-Order and
Symbolic Computation, Kluwer, Vol. 14, N. 4 (December 2001). 48 pages.
http://www2.hawaii.edu/~esb/prof/pub/foxfinal.ps. In 2006 this
paper was selected by Springer for electronic publication, available at
http://dx.doi.org/10.1023/A:1014403914699.
Edoardo Biagioni, Ken Cline, Peter Lee,
Chris Okasaki, Chris Stone.
Safe-for-space threads in Standard ML
Journal of Higher-Order and Symbolic Computation, Vol. 11, N. 2 (1998).
16 pages.
http://www2.hawaii.edu/~esb/prof/pub/safethreads.ps
Edoardo Biagioni, Eric Cooper, and Robert Samson.
The Design of a Practical ATM LAN.
IEEE Network, Vol. 7, N. 2 (March 1993).
Edoardo Biagioni, Gernot Heiser, Klaus Hinrichs,
and Carlo Muller.
OSSI -- A Portable Operating System Interface and Utility Library.
In IEEE Software, Vol. 3, No. 6 (November 1986) pp. 18-29.
Edoardo Biagioni.
``Ubiquitous Interpersonal Communication over
Ad-Hoc Networks and the Internet''.
At the Hawaii
International Conference on Systems Sciences,
January 2014, Waikoloa, Hawaii.
Caterina Desiato, Edoardo Biagioni
``Sharing Networking Resources to Create a Pervasive Infrastructure.''
9th International Conference on Technology, Knowledge, and Society.
Vancouver, Canada. January 13-14 2013.
Edoardo Biagioni
``A Ubiquitous, Infrastructure-Free Network for
Interpersonal Communication''.
Fourth International Conference on Ubiquitous and Future
Networks (ICUFN 2012), July 4-6, 2012, Phuket, Thailand.
http://alnt.org/icufn.pdf
Acceptance rate for this conference was about 49%.
Morten Tranberg Hansen and Edoardo Biagioni.
``BTP: a Block Transfer Protocol for Delay Tolerant Wireless Sensor
Networks''.
Fifth IEEE International Workshop on
Practical Issues in Building Sensor Network Applications (SenseApp 2010)
Denver, CO, Oct 2010.
http://www2.hawaii.edu/~esb/prof/pub/2010.btp.ps
Acceptance rate for this conference was about 30%.
Edoardo Biagioni, Yingfei Dong,
Wesley Peterson, Kazuo Sugihara.
``A Protocol for Secure Electronic Remote Voting''.
IFIP International Conference on Network and Service Security (N2S),
Paris, France, June 2009.
http://www2.hawaii.edu/~esb/prof/pub/2009.n2spaper.pdf
Edoardo Biagioni, Yingfei Dong,
Wesley Peterson, Kazuo Sugihara.
``Practical Distributed Voter-Verifiable Secret Ballot System''.
24th Annual ACM Symposium on Applied Computing,
Honolulu, Hawaii, March 2009.
http://www2.hawaii.edu/~esb/prof/pub/2009.sac.pdf
Edoardo Biagioni and Shu Chen.
``A Reliability Layer for Ad-Hoc Wireless Sensor Network Routing''.
At the Hawaii International Conference on Systems Sciences, January
2004, Waikoloa, Hawaii.
http://www2.hawaii.edu/~esb/prof/pub/hicss37chen.pdf.
Fengxian Fan and Edoardo Biagioni.
``An Approach to Data Visualization and Interpretation for
Sensor Networks''.
At the Hawaii International Conference on Systems Sciences, January
2004, Waikoloa, Hawaii.
http://www2.hawaii.edu/~esb/prof/pub/hicss37fan.doc.
Edoardo Biagioni and Galen Sasaki.
``Wireless Sensor Placement for Reliable and Efficient Data Collection''.
At the Hawaii International Conference on Systems Sciences, January
2003, Waikoloa, Hawaii.
http://www2.hawaii.edu/~esb/prof/pub/hicss36.pdf.
Edoardo Biagioni.
``PODS: Interpreting Spatial and Temporal Environmental Information''.
In ``Usability Evaluation and Interface Design:
Cognitive Engineering, Intelligent Agents, and Virtual Reality'',
Volume I of the Proceedings of HCI International 2001, pp. 317-321, 9th
International Conference on Human-Computer Interaction, New Orleans,
Louisiana.
http://www2.hawaii.edu/~esb/prof/pub/hcii01.ps
Edoardo Biagioni.
``Asynchronous and Distance Communication over Digital Networks''.
In ``Ergonomics and User Interfaces'', Volume I of the Proceedings of
HCI International '99, pp. 851-855, 8th International Conference on
Human-Computer Interaction, Munich, Germany.
http://www2.hawaii.edu/~esb/prof/pub/hci99/paper.html
Edoardo Biagioni.
``A Structured TCP in Standard ML''.
SIGComm '94, London, England, August-September 1994.
http://www2.hawaii.edu/~esb/prof/pub/sigcomm94.ps.
Edoardo Biagioni, Robert Harper, Peter Lee,
and Brian Milnes.
``Signatures for a Network Protocol Stack: A Systems Application of Standard ML''.
ACM conference on Lisp
and Functional Programming, Orlando, Florida, June 1994.
http://www2.hawaii.edu/~esb/prof/pub/lfp-signatures.ps.
Edoardo Biagioni, Tetsuya Abe, and Satoru Ishii.
``Applying Neural Networks to Scheduling Problems''.
1989 Conference of the Information
Processing Society of Japan, Tokyo, Japan, September 1989.
http://foxnet.cs.cmu.edu/people/esb/ipsj.html.
Edoardo Biagioni, Klaus Hinrichs, Carlo Muller,
and Jürg Nievergelt.
``Interactive Deductive Data Management -- the Smart Data
Interaction Package''.
GI-Kongreß 1985, Munich.
Published by Springer as Informatik Fachbericht 112, 1985.
G. Beretta, E. Biagioni, H. Burkhart, P. Fink,
J. Nievergelt, J. Stelovsky, H. Sugaya, A. Ventura, and J. Weydert.
``Man-Machine Communication''.
NOCUS International Meeting, Monte Carlo, November 1982.
Edoardo Biagioni.
``Algorithms for Communication in Wireless
multi-hop ad hoc Networks using Broadcasts in Opportunistic Large
Arrays (OLA)''.
Workshop on Wireless Mesh and Ad-hoc Networks (WiMAN) 2007, Turtle Bay,
Hawaii, 16 August 2007.
http://www2.hawaii.edu/~esb/prof/pub/wiman07paper.pdf
Acceptance rate was about 43%.
Edoardo Biagioni, Ken Cline, Peter Lee, Chris
Okasaki, and Chris Stone.
``Safe-for-Space Threads in Standard ML''.
Second ACM Sigplan Workshop on Continuations,
Paris, France, 14 January 1997.
http://foxnet.cs.cmu.edu/people/esb/papers/cokasaki-threads.ps.
Edoardo Biagioni, Robert Harper, and Peter Lee.
``Implementing Software Architectures in Standard ML''.
Position paper at the International Conference on
Software Engineering Workshop on Software Engineering and
Programming Languages, Seattle, Washington, April 1995.
http://www2.hawaii.edu/~esb/prof/pub/icse17.ps.
http://foxnet.cs.cmu.edu/people/esb/papers/icse17.ps.
Edoardo Biagioni and Jan Prins.
``Scan Based Load Balancing for Highly-Parallel
Mesh-Connected Computers''.
1990 ICASE Workshop on Unstructured Scientific Computation
on Scalable Multiprocessors.
Edoardo Biagioni.
Scan Directed Load Balancing.
Dissertation at the University of North Carolina,
Chapel Hill, November 1991.
Also published as Technical Report TR 91-045,
Department of Computer Science, University of North Carolina,
Chapel Hill, December 1991.
http://www2.hawaii.edu/~esb/prof/pub/diss.ps.
Edoardo Biagioni.
EASY, a Front End for Interactive Programs.
Diplom Thesis, Abteilung für Informatik,
Eidgenössische Technische Hochschule, Switzerland, February 28, 1985.
PODS: A Remote Ecological Micro-Sensor Network.
DARPA SensIT program. Awarded: 2000.
Co-authored research proposal with Kim Bridges and Brian Chee
(Principal Investigators: Edoardo Biagioni, Kim Bridges, Brian Chee).
Approximate amount: $500,000 over three years.
The Fox Project: Advanced Languages for Systems Software.
ARPA CSTO. Awarded: 1995.
Co-authored research proposal with Robert
Harper and Peter Lee. (Principal Investigators: Robert Harper and
Peter Lee).
Also published as Technical Report CMU-CS-FOX-94-104, School of
Computer Science, Carnegie Mellon University, January 1994.
http://reports-archive.adm.cs.cmu.edu/anon/1994/CMU-CS-94-104.ps
Allnet: Networking Technology
for Ubiquitous Communication.
NSF Research in Networking Technology and Systems, solicitation NSF 12-582.
Submitted December 15, 2012.
Allnet: trustworthy ubiquitous
connectivity.
NSF Secure & Trustworthy Cyberspace, solicitation NSF 12-503.
Submitted January 10, 2012.
Kim Bridges and Edoardo Biagioni
``Plant Monitoring with Special Reference to Endangered Species''.
In
Distributed Sensor Networks.
CRC Press, 2005.
Edoardo Biagioni and Jan Prins.
``Scan Based Load Balancing for Highly-Parallel
Mesh-Connected Computers''.
In
Unstructured Scientific Computation on Scalable Multiprocessors.
MIT Press, 1992.
Publication of workshop paper [18].
``AllNet: Ubiquitous Interpersonal Communication''.
At the Hawaii
International Conference on Systems Sciences,
January 2014, Waikoloa, Hawaii.
AllNet:
A secure network to connect (mobile) devices for
interpersonal communication
without relying on infrastructure
at IBM Research Center, Rüschlikon (Zurich),
Switzerland, approx Sep 30, 2012.
A similar talk was given at the
Eidgenössische Technische Hochschule, October 2012.
``A Ubiquitous, Infrastructure-Free Network for
Interpersonal Communication''
at the Fourth International Conference on Ubiquitous and Future
Networks (ICUFN 2012), July 4-6, 2012, Phuket, Thailand.
`` AllNet:
Ubiquitous secure shared connectivity over existing hardware''
at the graduate seminar of the department of
Information and Computer Sciences, University of Hawaii at Manoa,
January 2012
``Algorithms for Communication in Wireless
multi-hop ad hoc Networks using Broadcasts in Opportunistic Large
Arrays (OLA)'', presented at the WiMan 2007 workshop at Turtle Bay,
Hawaii, August 2007. Also presented to UH recipients of NSF computer
science, engineering and mathematics scholarships, October 2007.
http://www2.hawaii.edu/~esb/talk/20070816.pdf.
``Designing Protocols for Wireless Ad-Hoc
Sensor Networks'', invited talk at the University of Pisa, Italy.
Similar talks were given at the Vrije Universiteit in Amsterdam,
Holland, and at the University of Münster, Germany. November 2005
http://www2.hawaii.edu/~esb/talk/pisa.pdf.
``Wireless Sensor Placement for Reliable and
Efficient Data Collection'', presented at the Hawaii International
Conference on Systems Sciences at Waikoloa, Hawaii, January 2003.
http://www2.hawaii.edu/~esb/prof/pub/hicss36.ppt
``PODS: An ecological microsensor network'',
presented to the CIS PhD students
at the University of Hawaii, Honolulu, September 2001.
http://www2.hawaii.edu/~esb/prof/pub/cis2001.ppt
``Multimedia on the Internet'', tutorial at the
IASTED international conference on Internet and Multimedia Systems and
Applications in Honolulu, HI, August 2001.
http://www2.hawaii.edu/~esb/prof/pub/iasted01.ppt
``PODS: Interpreting Spatial and Temporal
Environmental Information'', presented at HCI International '01, New
Orleans, Louisiana, August 2001.
http://www2.hawaii.edu/~esb/prof/pub/hcii01.ppt
a progress report presented at the Principal
Investigator meeting for the DARPA Sensor Information Technology
(SensIT) program in April 2001 in Tampa, Florida.
http://www2.hawaii.edu/~esb/pods/tampa.ppt
``Asynchronous and Distance Communication over
Digital Networks'', presented at HCI International '99, Munich, Germany,
August 1999.
http://www2.hawaii.edu/~esb/prof/pub/hcii99.ps
``Protocol Building Blocks and Protocol Design -- Work in Progress'', AT&T Bell Laboratories, March 1995.
http://foxnet.cs.cmu.edu/people/esb/slides/att.dvi.
``A Structured TCP in Standard ML''.
presented at SIGComm '94, London, England, August 1994.
http://foxnet.cs.cmu.edu/people/esb/slides/tcp.dvi.
``Theory and Practice: The Fox Net'', at the
Workshop on Functional Programming in the Real World,
Schloß Dagstuhl, May 1994.
http://foxnet.cs.cmu.edu/people/esb/slides/dagstuhl.dvi.
``Scan Based Load Balancing for Highly-Parallel Mesh-Connected Computers'', at the November 1990 ICASE Workshop on Unstructured Scientific Computation on Scalable Multiprocessors.
``Applying Neural Networks to Scheduling Problems'', at the September 1989 conference of the Information Processing Society of Japan.
Edoardo Biagioni.
``How and Why to Plan the Move to IPv6'',
http://www.eweek.com/c/a/Knowledge-Center/How-and-Why-to-Plan-the-Move-to-IPv6/,
e-Week.com, February 20, 2008. Introduction and editing by Wayne Rash.
Edoardo Biagioni. ``Mobility and Address Freedom in AllNet'', June 2014.
Edoardo Biagioni. ``Ubiquitous Interpersonal Communication over Ad-Hoc Networks and the Internet'', February 2013.
Edoardo Biagioni. `` AllNet: using Social Connections to Inform Traffic Prioritization and Resource Allocation '', October 2012.
Edoardo Biagioni.
``Collision-Free Broadcasting in Wireless Ad-Hoc Networks
using Cooperative Diversity'',
http://www2.hawaii.edu/~esb/prof/pub/cdb.pdf, 2007.
Nitin Nagar and Edoardo Biagioni.
``Open Issues in Routing Techniques in Ad Hoc Wireless Sensor Networks''.
Research Report at the 2002 International Conference on Parallel
and Distributed Processing Techniques and Applications (PDPTA'2002),
Las Vegas, June 24-27, 2002
http://www2.hawaii.edu/~esb/prof/pub/pdpta.doc.
Edoardo Biagioni.
Sequence Types for Functional Languages.
Technical Report CMU-CS-FOX-95-180, School of
Computer Science, Carnegie Mellon University, August 1995.
http://www2.hawaii.edu/~esb/prof/pub/CMU-CS-95-180.ps or
http://foxnet.cs.cmu.edu/people/esb/papers/esb-sequences.ps.
Edoardo Biagioni.
Program Verification for Optimized Byte Copy.
Technical Report CMU-CS-94-172, School of
Computer Science, Carnegie Mellon University, August 1995.
http://www2.hawaii.edu/~esb/prof/pub/CMU-CS-94-172.ps or
http://foxnet.cs.cmu.edu/people/esb/papers/copy-proof.ps.
Nicholas Haines, Edoardo Biagioni, Robert Harper,
and Brian G. Milnes.
Note on Conditional Compilation in Standard ML.
Technical Report CMU-CS-93-172, School of
Computer Science, Carnegie Mellon University, June 1993.
http://www2.hawaii.edu/~esb/prof/pub/CMU-CS-93-172.ps.
Edoardo Biagioni, Eric Cooper, and Robert Samson.
SPANS NNI: Simple Protocol for ATM Network Signaling
(Network-to-Network Interface).
Fore Systems Technical Report, Release 2.1 (1993).
Edoardo Biagioni, Eric Cooper, and Robert Samson.
SPANS: Simple Protocol for ATM Network Signaling.
Fore Systems Technical Report, Release 2.0 (1992).
J.-L. Franck, G. Maier, A. Rohrer, E. Biagioni,
G. Heiser, K. Hinrichs, and C. Muller.
A Portable Operating System Interface and Utility Library
for Modula-2, Version 6.
Research Report CRB 89-002 C, Corporate Research, Asea Brown
Boveri, February 1989.
Edoardo Biagioni
FPC: A Translator for FP.
Technical Report TR88-027, Department of Computer Science,
UNC Chapel Hill, May 1988.
Edoardo Biagioni, Gernot Heiser, Klaus Hinrichs,
and Carlo Muller.
A Portable Operating System Interface and Utility Library
for Modula-2 (second, revised edition).
Technical Report 79, Institut Für Informatik,
Eidgenössische Technische Hochschule, April 1987.
Edoardo Biagioni, Gernot Heiser, Klaus Hinrichs,
and Carlo Muller.
OSSI -- A Portable Operating System Interface and Utility Library
for Modula-2.
Technical Report 67, Institut Für Informatik,
Eidgenössische Technische Hochschule, June 1986.
Also published as Technical Report 86-005, University
of North Carolina at Chapel Hill.
Edoardo Biagioni and Hiro Sugaya.
The Vax-Bitgraph Font Editor.
Technische Notiz TN KLR-PC, BBC Brown Boveri, December 1984.
BBC Brown Boveri
Hiro Sugaya and Edoardo Biagioni.
Input-Output Functions for a Bitmapped Raster Graphics Terminal.
Technical Report KLR 84-94C, BBC Brown
Boveri, June 1984.
Hiro Sugaya, Jan Stelovsky, Jürg Nievergelt,
and Edoardo Biagioni.
XS-2: An Integrated Interactive System.
Technical Report KLR 84-73C, BBC Brown
Boveri, May 1984.