Michael Franz

Last updated

Michael Franz
Professor Michael Franz.jpg
Born
Michael Steffen Oliver Franz [1]

(1964-05-01) 1 May 1964 (age 60) [1]
Hamburg, Germany
Alma materETH Zurich, Switzerland
AwardsIEEE Computer Society Technical Achievement Award (2012); Humboldt Prize (2018); ACM Thacker Breakthrough in Computing Award (2021)
Scientific career
Thesis Code Generation On-The-Fly: A Key to Portable Software [1]
Doctoral advisor Niklaus Wirth
Doctoral students Andreas Gal
Website www.michaelfranz.com OOjs UI icon edit-ltr-progressive.svg

Michael Franz is an American computer scientist best known for his pioneering work on just-in-time compilation and optimisation [2] and on artificial software diversity. [3] He is a Distinguished Professor [4] of Computer Science in the Donald Bren School of Information and Computer Sciences at the University of California, Irvine (UCI), a Professor of Electrical Engineering and Computer Science (by courtesy) in the Henry Samueli School of Engineering at UCI, and Director of UCI's Secure Systems and Software Laboratory. [5] [6]

Contents

He is a Fellow of the AAAS, [7] a Fellow of the ACM, [8] [9] a Fellow of the IEEE, [10] a Fellow of the IFIP, [11] a recipient of the IEEE Computer Society's Technical Achievement Award [2] and of a Humboldt Prize. [12] [5] [6] In 2021, Franz was awarded the ACM Charles P. "Chuck" Thacker Breakthrough in Computing Award. [13] [14]

Biography

Born and raised in Hamburg, Germany, Franz attended the Christianeum in Hamburg and the Gordonstoun School in Elgin, Scotland and eventually graduated from the Christianeum with an accelerated high school diploma ("vorgezogenes Abitur") ahead of the rest of his class.

After completing military service in Germany, Franz moved to Switzerland to begin studies of computer science at ETH Zurich, finishing his Diplom-Ingenieur degree in 1989. During his undergraduate years, he was President of ETH's Computer Science Students Association. [15]

Declining a Full Fulbright scholarship that would have funded doctoral studies in the United States, he stayed at ETH and began doctoral studies under the supervision of Turing Award Winner Niklaus Wirth, completing his Doctor of Technical Sciences degree in 1994. [16]

Following two further years at ETH Zurich as a Senior Research Associate and lecturer, he joined the University of California, Irvine as an Assistant Professor of Computer Science in January 1996. He was promoted to Associate Professor in 2001 and Full Professor in 2006. Since 2007, he has held a second appointment in UCI's School of Engineering, as a Professor of Electrical Engineering and Computer Sciences (by courtesy). In 2016, he was awarded the title Chancellor's Professor and in 2022, he was further elevated to the University of California's highest level of professorship by being awarded the title of a Distinguished Professor. [5] [6] [4]

Research

Franz's doctoral dissertation, entitled "Code Generation On-The-Fly: A Key To Portable Software" [17] proposed to make software portable among different target computer architectures by way of using on-the-fly compilation at load time from a semantic dictionary encoding, a compressed intermediate data structure. Two years later, the Java programming language and system were launched and took this idea mainstream, albeit using the term "just-in-time compilation" instead of the term "on-the-fly compilation" that Franz had used.

Franz was also one of the first academics to realise that JavaScript was going to be huge.[ citation needed ] At a time when most of the academic community was ignoring JavaScript and similar dynamic languages as "little scripting languages," Franz and his student Andreas Gal researched how one would best tackle the specific features of a dynamically typed language in a just-in-time compiler. The resulting technique, Trace Tree Compilation, is now covered by a U.S. Patent. [18] Franz took this idea to Brendan Eich, the inventor of JavaScript and Mozilla's CTO at the time, and a collaborative project between UCI and Mozilla was born that eventually culminated in the TraceMonkey JavaScript engine in Firefox. [19]

Franz has been one of the main drivers of the "Moving Target Defense" movement for cyber security. He has been pioneering compiler-generated software diversity as a defence mechanism against software attacks, inspired by biodiversity in nature. [20]

This project has attracted attention beyond academia, with coverage in the popular press ranging from as far as The Economist [3] to Wired Magazine. [21] Franz and some of his students hold a U.S. Patent on some of the underlying ideas. [22]

Related Research Articles

<span class="mw-page-title-main">Niklaus Wirth</span> Swiss computer scientist (1934–2024)

Niklaus Emil Wirth was a Swiss computer scientist. He designed several programming languages, including Pascal, and pioneered several classic topics in software engineering. In 1984, he won the Turing Award, generally recognized as the highest distinction in computer science, "for developing a sequence of innovative computer languages".

<span class="mw-page-title-main">Butler Lampson</span> American computer scientist

Butler W. Lampson FRS is an American computer scientist best known for his contributions to the development and implementation of distributed personal computing.

<span class="mw-page-title-main">Li Gong (computer scientist)</span> Chinese computer scientist

Gong Li, also known in English as Li Gong, is a Chinese businessman and computer scientist. He is CEO of Linaro, a British software company headquartered in Cambridge, UK, developing systems software for the Arm ecosystem. He was previously the founder and CEO of Acadine Technologies, a systems software company specializing in mobile operating systems for mobile, wearable, and IoT devices. Acadine’s core product H5OS was a web-centric operating system that was primarily based on the open web standard HTML5. It was derived from Firefox OS, whose development Li had overseen as President of Mozilla Corporation.

<span class="mw-page-title-main">Bertrand Meyer</span> French computer scientist

Bertrand Meyer is a French academic, author, and consultant in the field of computer languages. He created the Eiffel programming language and the concept of design by contract.

<span class="mw-page-title-main">Oberon (operating system)</span> Operating system

The Oberon System is a modular, single-user, single-process, multitasking operating system written in the programming language Oberon. It was originally developed in the late 1980s at ETH Zurich. The Oberon System has an unconventional visual text user interface (TUI) instead of a conventional command-line interface (CLI) or graphical user interface (GUI). This TUI was very innovative in its time and influenced the design of the Acme text editor for the Plan 9 from Bell Labs operating system.

<span class="mw-page-title-main">David Parnas</span> Canadian software engineer

David Lorge Parnas is a Canadian early pioneer of software engineering, who developed the concept of information hiding in modular programming, which is an important element of object-oriented programming today. He is also noted for his advocacy of precise documentation.

<span class="mw-page-title-main">Barbara Liskov</span> American computer scientist

Barbara Liskov is an American computer scientist who has made pioneering contributions to programming languages and distributed computing. Her notable work includes the introduction of abstract data types and the accompanying principle of data abstraction, along with the Liskov substitution principle, which applies these ideas to object-oriented programming, subtyping, and inheritance. Her work was recognized with the 2008 Turing Award, the highest distinction in computer science.

<span class="mw-page-title-main">David Eppstein</span> American computer scientist and mathematician

David Arthur Eppstein is an American computer scientist and mathematician. He is a distinguished professor of computer science at the University of California, Irvine. He is known for his work in computational geometry, graph algorithms, and recreational mathematics. In 2011, he was named an ACM Fellow.

<span class="mw-page-title-main">Donald Bren School of Information and Computer Sciences</span>

The Donald Bren School of Information and Computer Sciences, also known colloquially as UCI's School of ICS or simply the Bren School, is an academic unit of University of California, Irvine (UCI), and the only dedicated school of computer science in the University of California system. Consisting of nearly three thousand students, faculty, and staff, the school maintains three buildings in the southeast section of UCI's undergraduate campus, and maintains student body and research affiliations throughout UCI.

Michael T. Goodrich is a mathematician and computer scientist. He is a distinguished professor of computer science and the former chair of the department of computer science in the Donald Bren School of Information and Computer Sciences at the University of California, Irvine.

<span class="mw-page-title-main">Ueli Maurer (cryptographer)</span> Swiss cryptographer

Ueli Maurer is a professor of cryptography at the Swiss Federal Institute of Technology Zurich.

<span class="mw-page-title-main">Andreas Gal</span>

Andreas Gal is former chief technology officer at Mozilla. He is most notable for his work on several open source projects and Mozilla technologies.

<span class="mw-page-title-main">Markus Gross</span>

Markus Gross is a Professor of Computer science at the Swiss Federal Institute of Technology Zürich (ETH), head of its Computer Graphics Laboratory, and the director of Disney Research, Zurich. His research interests include physically based modeling, computer animation, immersive displays, and video technology. He has published more than 430 scientific papers on algorithms and methods in the field of computer graphics and computer vision, and holds more than 30 patents. He has graduated more than 60 Ph.D. students.

<span class="mw-page-title-main">Hanspeter Pfister</span> Swiss computer scientist

Hanspeter Pfister is a Swiss computer scientist. He is the An Wang Professor of Computer Science at the Harvard John A. Paulson School of Engineering and Applied Sciences and an affiliate faculty member of the Center for Brain Science at Harvard University. His research in visual computing lies at the intersection of scientific visualization, information visualization, computer graphics, and computer vision and spans a wide range of topics, including biomedical image analysis and visualization, image and video analysis, and visual analytics in data science.

Gene Tsudik is a Distinguished Professor of Computer Science at the University of California, Irvine (UCI).

<span class="mw-page-title-main">Michael J. Carey (computer scientist)</span> American computer scientist

Michael James Carey is an American computer scientist. He is currently a Distinguished Professor (Emeritus) of Computer Science in the Donald Bren School at the University of California, Irvine and a Consulting Architect at Couchbase, Inc..

Adrian Perrig is a Swiss computer science researcher and professor at ETH Zurich, leading the Network Security research group. His research focuses on networking and systems security, and specifically on the design of a secure next-generation internet architecture.

<span class="mw-page-title-main">Olga Sorkine-Hornung</span> Computer scientist

Olga Sorkine-Hornung is a professor of Computer Science at ETH Zurich working in the fields of computer graphics, geometric modeling and geometry processing. She has received multiple awards, including the ACM SIGGRAPH Significant New Researcher Award in 2011.

Mathias Payer is a Liechtensteinian computer scientist. His research is invested in software and system security. He is Associate Professor at the École Polytechnique Fédérale de Lausanne (EPFL) and head of the HexHive research group.

Hanspeter Mössenböck is an Austrian computer scientist. He is professor of practical computer science and systems software at the Johannes Kepler University Linz and leads the institute of systems software.

References

  1. 1 2 3 Franz, Michael (1994). Code Generation On-The-Fly: A Key to Portable Software (DScTech). ETH Zurich. CiteSeerX   10.1.1.20.1424 . Docket 10497. Archived from the original on 6 July 2017. Retrieved 24 July 2021.
  2. 1 2 "IEEE Computer Society 2012 Technical Achievement Award". 13 April 2018.
  3. 1 2 "Divided we stand". The Economist. ISSN   0013-0613 . Retrieved 4 January 2016.
  4. 1 2 "Distinguished Professor – Academic Personnel" . Retrieved 11 July 2023.
  5. 1 2 3 "Home Page of Professor Michael Franz, University of California, Irvine". ics.uci.edu. Archived from the original on 21 June 2013.
  6. 1 2 3 "Home Page of Professor Michael Franz, University of California, Irvine". michaelfranz.com. Retrieved 11 January 2016.
  7. "2019 Fellows". aaas.org. Retrieved 17 January 2020.
  8. "Michael S. Franz – Award Winner". awards.acm.org. Retrieved 4 January 2016.
  9. "ACM Fellows Named for Computing Innovations that Are Advancing Technology in the Digital Age—Association for Computing Machinery". acm.org. Archived from the original on 9 December 2015. Retrieved 4 January 2016.
  10. "IEEE 2016 Newly Elevated Fellows" (PDF). Institute of Electrical and Electronics Engineers (IEEE).
  11. "Awards". ifip.org. Retrieved 17 January 2020.
  12. "Professor Franz Honored With Humboldt Research Award" . Retrieved 11 February 2018.
  13. "Michael Franz receives 2020 ACM Chuck Thacker Breakthrough in Computing Award". www.acm.org. Retrieved 11 July 2023.
  14. "ACM Chuck Thacker Breakthrough Award Goes to Innovator Who Transformed Web Applications". www.acm.org. Retrieved 11 July 2023.
  15. "Hall of Fame – Verein der Informatik Studierenden der ETH Zürich". vis.ethz.ch. Retrieved 11 January 2016.
  16. "UC Irvine - Faculty Profile System - Michael Franz". www.faculty.uci.edu. Retrieved 8 May 2022.
  17. Franz, Michael (1 March 1994). Code-Generation On-the-Fly: A Key to Portable Software. Zürich: Verlag der Fachvereine Hochschulverlag AG an der ETH Zurich. ISBN   9783728121158.
  18. Dynamic incremental compiler and method , retrieved 11 January 2016
  19. "JavaScript:TraceMonkey – MozillaWiki". wiki.mozilla.org. Retrieved 11 January 2016.
  20. Jackson, Todd; Salamat, Babak; Homescu, Andrei; Manivannan, Karthikeyan; Wagner, Gregor; Gal, Andreas; Brunthaler, Stefan; Wimmer, Christian; Franz, Michael (2011), Jajodia, Sushil; Ghosh, Anup K.; Swarup, Vipin; Wang, Cliff (eds.), "Compiler-Generated Software Diversity", Moving Target Defense: Creating Asymmetric Uncertainty for Cyber Threats, Advances in Information Security, New York, NY: Springer, pp. 77–98, doi:10.1007/978-1-4614-0977-9_4, ISBN   978-1-4614-0977-9 , retrieved 8 September 2021
  21. Arbesman, Samuel. "Software Clones: Genetic Variation and Technology". WIRED. Retrieved 11 January 2016.
  22. Multi-variant parallel program execution to detect malicious code injection , retrieved 11 January 2016