|
Research Interests
Design and analysis of algorithms, probabilistic analysis of
algorithms, NP-complete problems, the Satisfiability problem,
approximation algorithms for NP-complete problems,
mathematics in artificial intelligence Satisfiability solver design.
Biography
I received a B.S. in Electrical Engineering from the
City College of New York
in 1969. During my years as a student at CCNY I became Vice
Chancellor of the Sigma Alpha honor/service society and President of
the CCNY chapter of
Eta Kappa Nu.
I was the recipient of the CCNY
Engineering Alumni Award in 1969. From 1969 to 1975 I was a
member of technical staff in the Digital Signal Processing group at
Bell Laboratories
in Holmdel, New Jersey.
During that time I earned a M.S. in Electrical Engineering from
Columbia University
in New York. In 1981 I received a Ph.D. in Computer Science from
Rutgers University
in New Brunswick, New Jersey. I have served on the faculties of
Case Western Reserve University and Indiana University before coming
to the University of Cincinnati in 1990. I am a member of
ACM, and SIAM.
Publications
Probabilistic Analysis of Satisfiability Algorithms
John Franco
In Boolean Methods and Models,
Yves Crama and Peter Hammer (eds.), Cambridge University Press, to appear.
Details
|
BibTeX
|
Avoiding Unnecessary Calculations in Robot Navigation
Weiya Yue and John Franco
In Proc. WCECS, San Francisco, 2009,
pages 718-723, Newswood Limited, Hong Kong.
Details
|
BibTeX
|
A History of Satisfiability
John Franco and John Martin
In Handbook of Satisfiability,
Armin Biere, Marijn Huele, Hans van Maaren, Toby Walsh (eds.),
pages 3-74. IOS Press, 2009.
Details
|
BibTeX
|
Workshop on Satisfiability: Assessing the Progress
John Franco, Victor Marek, Sean Weaver
U.S. Department of Defense internal publication, 2008.
Details
|
BibTeX
|
View all
|
Activities and Students
UC Environment and EECS History
nearby attractions
The University has one of the best
music schools
in the USA and an excellent
school of art, architecture, and planning
housed in one of the
strangest university buildings
ever. So, there will probably be a number of enjoyable things to do
and see on the campus if you are in need of a break. Across the
street is a pleasant park called
Burnet Woods
where you can have a nice walk. About four blocks away is the world famous
Cincinnati Zoo.
About 3 Km away is Main Street which hosts most of the interesting
yuppie nightlife (some nice micro-breweries are there as well) and
about 4 Km away is
Mount Adams
which hosts the rest (and has nice views). The
Art Museum
is also about 4 Km away. Two charming parks,
Ault Park and
Eden Park,
are nearby; both are worth a visit if plants make you smile. Near
Ault Park you can find the
University Observatory
which still opens its doors to the general public. Forget about using the
Cincinnati Subway
- although a tunnel was built about 80 years ago, no one ever bothered
to lay the track or buy the rolling stock. There is (inexpensive)
city bus service
to downtown and to the northern suburbs, where most of the upscale
shopping is, but the bus is slow and relatively infrequent.
|
University of Cincinnati Environment
interesting historical facts about UC
• |
|
Donald Shell discovered the Shell Sort algorithm while working
on a Masters degree in the Mathematics Department. |
• |
|
Vinod Dham, chief architect of the Pentium Chip, is a graduate
of Electrical Engineering at UC. |
• |
|
Frank B. Brady, one of the pioneers of ILS before and during
WWII and director of the introduction of ILS systems into North
Atlantic routes and the European theatre of operations, studied
radio and electrical engineering at UC from 1933 to 1939, working
also at Crosley Radio. |
• |
|
Arnold Spielberg, father of Steven Spielberg and grandfather of
E.T., graduated from the old Department of Electrical Engineering in
1949. In 1953 he designed the first computerized point-of-sale
system in the world for RCA. His system was tested at Higbees
department store in Cleveland. Later he fathered GE's series 200
computers. Spielberg and Brady knew each other when Spielberg
co-oped at Crosley. |
• |
|
Joseph Strauss, an 1892 Civil Engineering graduate of UC,
designed and built the Golden Gate Bridge (why did you think the
bridge is painted red?). A brick from the old McMicken Hall is
cemented into the base of the south anchorage. |
• |
|
Michael J. Fister, holder of Bachelor's (1977) and Master's
(1978) degrees in Electrical Engineering from UC, has served as Vice
President at Intel and President and CEO of Cadence Design Systems,
Inc. |
• |
|
James Kaiser, co-pioneer of Digital Signal Processing, graduated
from UC in 1952 as an Electrical Engineer. |
• |
|
Brad Kuhn, a graduate of the old Department of Electrical and
Computer Engineering and Computer Science, was director of the Free
Software Foundation and is now the Free/Libre/Open-Source Software
(FLOSS) community liaison, Technology Director of the Software
Freedom Law Center (SFLC), and president of the Software Freedom
Conservancy. In short, he is known as a free software activist. |
• |
|
Ken Seidelmann, Director of Astrometry at the US Naval
Observatory, co-discoverer of the Saturn satellite
Calypso, and member of the Wide Field/Planetary Camera Team
of the Hubble Space Telescope, graduated from UC with E.E., M.S.,
and Ph.D. degrees. The minor planet 3217 is named after him. |
• |
|
John H. Hall, pioneer of low-power CMOS integrated circuit
technology, and developer of Tungsten Gate Merged BiCMOS technology,
graduated from UC in 1961. He is credited with saving the Minuteman
project by solving a circuit problem that made the missles explode
unexpectedly while flying through clouds. |
• |
|
Sebastian Mauchly, father of ENIAC inventor John Mauchly,
graduated with a doctorate from the University of Cincinnati. |
• |
|
Albert Sabin developed the oral polio vaccine while on the
faculty at UC. |
• |
|
George Rieveschl Jr. discovered the first commercial
antihistamine agent, known as Benadryl, while on the faculty at UC.
He also holds Undergraduate, Masters, and Ph.D. degrees from
UC. |
• |
|
Brian Rose, a faculty member in the Classics Department, is in
charge of the Troy excavations. Carl Blegen of UC established
modern scientific methods in archaeology during his excavations of
the Troy site which lasted six years beginning in 1932. |
• |
|
Neil Armstrong, first man on the Moon, was a member of the
Aerospace Engineering faculty at UC. |
• |
|
William Howard Taft, the only US President to serve as Chief
Justice of the United States, graduated from the UC Law School and
served as its Dean. |
• |
|
Sports greats Sandy Koufax and Oscar Robinson played for UC as
students. Koufax came to UC on a basketball scholarship. |
• |
|
Herman Schneider started cooperative education in the United
States, as Dean of the College of Engineering, in 1906. To this day
the College of Engineering requires all its graduates to have co-op
training. |
• |
|
Heather French, a former student of Design, Art, Architecture, and
Planning, is Miss America for the year 2000 and Kristen Haglund became Miss
America for 2008 while a student at UC's College-Conservatory for
Music. |
• |
|
The work of Cleveland Abbe, former director of the Cincinnati
Observatory, led to the creation of the National Weather
Service. |
• |
|
Kathleen Battle earned Undergraduate and Masters degrees from
UC's Cincinnati Conservatory of Music in the early 1970s. Recently,
she was granted an honorary Doctorate as well. |
• |
|
Thomas Berger, author of Little Big Man, Crazy in Berlin
and the "Rhinehart" Trilogy, graduated from the College of Arts
and Sciences in 1948. |
• |
|
Miller Huggins, feared manager of the New York Yankees, started
out with a Law Degree from UC in 1902. |
• |
|
Jerry Rubin, the anti-war protestor of the 1960's, graduated
from UC in 1961 before briefly attending UC, Berkeley. |
|
|
|