جست‌وجوی استاد و پژوهشگر

• Business Process Management
• Process Mining
• Software Engineering
• +۳ مورد دیگر

Marlon Dumas is a Professor of Information Systems at the University of Tartu's Faculty of Science and Technology, with a 20-year academic career spanning Estonia and Australia. He holds a PhD in Computer Science from the University of Grenoble 1, France, and has served as Head of Chair and Programme Director in Software Engineering programs. Specializes in Business Process Management (BPM) and Process Mining Current research focuses on prescriptive process monitoring, simulation modeling, and data privacy Recipient of 25+ scientific awards, including multiple Test of Time Awards and the Estonian National Research Award in Technical Sciences Editorial leadership: Area Editor for Information Systems (Elsevier) and ERC Starting Grant Panel Chair His work bridges theoretical advancements in BPM with practical applications in financial services and anti-money laundering. He has developed tools like SIMOD, Kronos, and Kairos for process optimization and analysis. His research integrates AI/ML techniques (reinforcement learning, causal inference) with traditional process modeling. Key trends in his recent publications include: Prescriptive monitoring systems combining causal inference and machine learning Privacy-preserving process mining techniques (differential privacy, anonymization) Resource availability modeling and multi-objective process optimization LLM applications for process analysis and intervention policies Scientific honors include: 2024 BPM Best Paper & Prototype Awards 2023 ICPM Best Prototype Award 2019 ERC Advanced Grantee 2017 Estonian National Research Award in Technical Sciences 2019 MODELS Test of Time Award 2017 BPM Best Prototype Award He has mentored PhD candidates as thesis examiner and contributed to 30+ conference program committees, including General Co-Chair roles at ESEC-FSE 2019 and CAiSE 2018. His work has been supported by European Research Council grants and Estonian Science Foundation projects.

Andreas Vlachosمشاهده پروفایل

استاد

• Natural Language Processing
• Machine Learning
• Dialogue Modelling
• +۱۰ مورد دیگر

Andreas Vlachos is a Professor of Natural Language Processing and Machine Learning at the Department of Computer Science and Technology, University of Cambridge, and holds the Dinesh Dhamija Fellowship at Fitzwilliam College. His research spans dialogue modeling, automated fact-checking, imitation learning, semantic parsing, biomedical text mining, and trustworthiness in AI systems. PhD in Computer Science, University of Cambridge (supervised by Ted Briscoe and Zoubin Ghahramani) Lecturer at University of Sheffield Postdoctoral roles at UCL, University of Cambridge (NLIP group, Stephen Clark), and University of Wisconsin-Madison (Mark Craven) Current research focuses on evaluating and mitigating biases in language models, advancing fact-checking methodologies, and improving model robustness through interpolation, reinforcement learning, and causal reasoning. His work integrates natural logic, knowledge graphs, and multimodal evidence for verification tasks. Recent publications address uncertainty quantification, temporal planning benchmarks, and ethical framing of NLP artifacts. Grants from ERC, EPSRC, Facebook, Google, and the Alan Turing Institute fund his research team. Collaborations include Sebastian Riedel, Stephen Clark, and Mark Craven. Key projects explore disinformation detection, long-form generation, and confidence calibration in AI systems.

• Robotics
• Photogrammetry
• Simultaneous Localization and Mapping (SLAM)
• +۱۲ مورد دیگر

Cyrill Stachniss is a Full Professor at the University of Bonn , where he heads the Lab for Photogrammetry and Robotics and is affiliated with the Lamarr Institute for Machine Learning and Artificial Intelligence . He was previously a Visiting Professor in Engineering at the University of Oxford until 2025. His academic journey includes positions at the University of Freiburg, University of Zaragoza, and the Swiss Federal Institute of Technology. University: University of Bonn School: Faculty of Engineering Department: Department of Photogrammetry Academic Rank: Professor His research spans robotics, photogrammetry, SLAM, autonomous navigation, perception systems, agricultural robotics, and unmanned aerial vehicles . He emphasizes probabilistic techniques for mobile robots and has made significant contributions to visual and LiDAR-based localization, scene understanding, and 3D reconstruction. The recent publications highlight a strong trend toward neural implicit representations, agricultural phenotyping, radar-based perception, and active learning . His team develops robust systems for real-world deployment in dynamic and unstructured environments, particularly in precision farming and autonomous vehicles. Scientific Awards: IEEE RAS Early Career Award (2013) Microsoft Research Faculty Fellow (2010) 7th EURON Georges Giralt Award (2008) Multiple Best Paper Awards at ICRA, IROS, RSS, and RAL Faculty Teaching Award, University of Freiburg He has advised numerous students and leads the DFG Cluster of Excellence PhenoRob and Research Unit FOR 1505 Mapping on Demand . His lab has co-founded three startups, reflecting strong industry and societal impact. He also runs the educational video series 5 Minutes with Cyrill , explaining key robotics concepts.

• Natural Language Processing
• Machine Learning
• Artificial Intelligence Ethics
• +۳ مورد دیگر

Anders Søgaard is a Professor at the University of Copenhagen , affiliated with both the Department of Computer Science and the Department of Communication. His research bridges Natural Language Processing and Machine Learning with a focus on AI ethics , explainability , and human-AI interaction . Primary Affiliation: Department of Computer Science, University of Copenhagen Secondary Affiliation: Department of Communication, University of Copenhagen Email: soegaard@di.ku.dk, soegaard@hum.ku.dk Research Interests His work spans Natural Language Processing , Machine Learning , and AI ethics , with recent studies addressing: Trustworthiness in AI systems Explainable AI (XAI) frameworks Multilingual model fairness and alignment Human-AI collaboration in reasoning tasks Ethical implications of social robots Mental health analytics using ML Recent Publications His 2025 output highlights trends in: AI ethics (e.g., fairness metrics, trustworthy systems) Multilingual model analysis (knowledge retention, cross-lingual transfer) Human-centric AI (gaze data, cultural considerations) Applications in healthcare and social good

• Probabilistic Verification
• Quantitative Model Checking
• Formal Methods
• +۴ مورد دیگر

Marta Kwiatkowska is a Professor of Computing Systems at the University of Oxford and a Fellow of Trinity College. Her research focuses on probabilistic verification , quantitative model checking , and formal methods for complex systems including autonomous robots, medical devices, and biological systems. She leads the development of the PRISM and PRISM-games probabilistic model checkers. Key research areas: Probabilistic systems, formal verification, autonomous robotics, medical device analysis, systems biology Grants: ERC Advanced Grant VERIWARE, EPSRC Programme Grant Mobile Autonomy Awards: 2024 ETAPS Test-of-Time Tool Award for PRISM Students: Current and former advisees in topics spanning formal methods, robotics, and quantitative verification The PRISM-games extension enables verification of stochastic multi-player games with applications in network protocols, autonomous systems, and game theory. Her work bridges theory, algorithms, and practical implementation, with real-world applications in ubiquitous computing and nanotechnology.

Sanjit A. Seshiaمشاهده پروفایل

استاد

• Formal Methods
• Cyber-Physical Systems
• Computer Security
• +۱۰ مورد دیگر

Sanjit A. Seshia is the Cadence Founders Chair Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley . He is affiliated with the Group in Logic and the Methodology of Science and participates in centers like the Industrial Cyber-Physical Systems Center , Berkeley AI Research , and the Simons Institute for the Theory of Computing . Research interests include formal methods for automated verification and synthesis of dependable systems, with applications to cyber-physical systems , AI-based autonomy , and computer security . His work spans SMT solving, model counting, syntax-guided synthesis, and algorithmic improvisation, with tools like UCLID5 , VerifAI , and Scenic for verifying autonomous systems and educational platforms like CPSGrader . Students and collaborators include notable researchers such as Dorsa Sadigh (Stanford), Daniel Fremont (UC Santa Cruz), and Hazem Torfah (Chalmers). He has co-founded startups like Decyphir and 20ⁿ Labs based on his research.

Supratik Chakrabortyمشاهده پروفایل

استاد

• Formal Methods
• Formal Verification
• Automated Synthesis
• +۷ مورد دیگر

Supratik Chakraborty serves as the Bajaj Group Chair Professor in the Department of Computer Science and Engineering at Indian Institute of Technology Bombay. He maintains dual affiliations with the Centre for Formal Design and Verification of Software and the Centre for Liberal Education at IIT Bombay, demonstrating his cross-disciplinary engagement. Professor Chakraborty's research spans formal methods with focus on formal verification, rigorous analysis of system models, and automated synthesis of systems from specifications. His work bridges theoretical foundations with practical applications, particularly in developing mathematically provable guarantees for increasingly complex hardware, software, and intelligent systems. Current research interests include constrained counting and sampling, scalable formal verification of software and hardware systems, automated synthesis of programs and circuits, and applications of automata, logic and finite model theory to practical verification challenges. His publication trajectory shows a significant evolution from traditional hardware and software verification toward addressing verification challenges in machine learning and AI systems. Recent work increasingly focuses on interpretability of black-box models, verification of neural networks, and synthesis techniques applicable to intelligent systems. The research demonstrates strong interdisciplinary connections between formal methods, programming languages, and artificial intelligence. IIT Bombay Excellence in Thesis (CSE) Award 2011 (for Bhargav Gulavani's thesis) IIT Bombay Excellence in Thesis (CSE) Award 2017 (for Abhisekh Sankaran's thesis) Best Paper in Algorithms and Architecture track at IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1998 Professor Chakraborty has successfully supervised 11 doctoral students, with research spanning formal verification techniques, Boolean functional synthesis, constrained counting, and applications to hardware and software systems. His students have gone on to positions at major institutions including Microsoft Research, TCS Research, Georgia Tech, and BARC, reflecting the strong industry and academic impact of his mentorship. Current research directions show increasing emphasis on verification challenges posed by machine learning systems and AI. His research group at IIT Bombay, while not explicitly named in the materials, appears to focus on formal methods with strong connections to the Centre for Formal Design and Verification of Software. The group maintains active collaborations with international researchers including Moshe Y. Vardi at Rice University, and has made significant contributions to verification tools like VeriAbs that bridge theoretical advances with practical applications.

• Artificial Intelligence
• Computer Security
• Multi-Agent Systems
• +۳ مورد دیگر

Dr. Chunyan Mu serves as a Senior Lecturer in the School of Natural and Computing Sciences at the University of Aberdeen, actively contributing to both academic instruction and cutting-edge research in computing science while currently accepting new PhD students. Her research program centers on Trustworthy AI and Safe Autonomy, with specialized expertise in formal verification of responsibility, accountability, and privacy mechanisms within multi-agent systems. She investigates resilience frameworks for autonomous intelligent systems and develops advanced methodologies for information flow security analysis, bridging theoretical computer science with practical security implementations. Analysis of her publication trajectory (2014-2025) reveals consistent innovation in applying formal methods to security-critical systems. Key thematic developments include probabilistic strategy logic for observability analysis, quantitative verification of opacity properties, and game-theoretic approaches to security verification, demonstrating increasing sophistication in handling multi-agent accountability and system resilience challenges. Dr. Mu currently supervises PhD candidates and offers a fully funded doctoral position focused on formal verification of safety properties in autonomous systems, providing comprehensive financial support including tuition coverage, £20,780 annual stipend, and dedicated research funding for candidates with strong backgrounds in formal methods and artificial intelligence.

Marta Zofia Kwiatkowskaمشاهده پروفایل

استاد

• Automated verification
• Probabilistic model checking
• Temporal logics
• +۳ مورد دیگر

Professor Marta Zofia Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College at the University of Oxford, where she has held a faculty position since 2007. She previously served as Professor of Computer Science at the University of Birmingham (2001–2007), Reader and Lecturer at the University of Birmingham (1994–2001), and Lecturer at the University of Leicester (1986–1994). Her academic career began as Assistant Professor at the Jagiellonian University in Kraków, Poland (1980–1988). Education: BSc/MSc in Computer Science, Jagiellonian University, Kraków MA, University of Oxford PhD, University of Leicester Research Interests: Professor Kwiatkowska spearheaded the development of probabilistic and quantitative verification methods on the international stage. Her work bridges theory and practice through the PRISM model checker—the leading software tool in probabilistic model checking—used worldwide for research and teaching. Application domains include communication and security protocols , nanotechnology designs , power management , ubiquitous computing and systems biology . She investigates automated verification , temporal logics , semantic models for concurrency , real-time systems , and biological process modelling . Current grant funding exceeds £3.7 million from EPSRC, EU and ERC, including the prestigious ERC Advanced Grant VERIWARE. Scientific Awards & Honours: Fellow of the Royal Society Fellow of the ACM Fellow of the European Association for Theoretical Computer Science (EATCS) Fellow of the British Computer Society (BCS) Fellow of the Polish Society of Arts & Sciences Abroad ERC Advanced Grant VERIWARE (€2.046 M, 2010–2015) Top Cited Article Award, Theoretical Computer Science (2005–2010) Best Paper Award, QEST 2006 Doctoral Supervision & Grants: Professor Kwiatkowska actively supervises doctoral students (D.Phil. at Oxford) and post-doctoral researchers. She welcomes applications in areas aligned with her research interests, detailed here . Current students include Charlie Griffin, Daqian Shao, Matthew Yuan and Minghao Liu; past students and researchers number over twenty, many now in faculty or industry leadership roles. Laboratory & Teams: She leads the Oxford Quantitative Verification group within the Department of Computer Science. Ongoing projects include FUN2MODEL, ELSA, FAIR and the flagship PRISM probabilistic model checker. The group maintains strong collaborations with biological, robotics and engineering teams worldwide.

LEE Wee Sunمشاهده پروفایل

استاد

• Machine Learning
• Planning Under Uncertainty
• Approximate Inference
• +۳ مورد دیگر

LEE Wee Sun is a Professor in the Department of Computer Science at the National University of Singapore (NUS), where he previously served as Head of Department, Vice Dean of Undergraduate Studies, and Vice Dean of Research. His academic journey began with a B.Eng. in Computer Systems Engineering from the University of Queensland (1992) and a Ph.D. from the Australian National University (1996), followed by research roles at the Australian Defence Force Academy and MIT. Education: Ph.D., Australian National University, Canberra, Australia (1996) B.Eng. in Computer Systems Engineering, University of Queensland, Brisbane, Australia (1992) Research Focus: Professor Lee pioneers work in Machine Learning , Planning Under Uncertainty , and Approximate Inference , with emphasis on integrating AI subfields for holistic reasoning. His current projects include "Learning to Decompose for Reasoning and Planning" (enhancing LLMs via self-supervised problem decomposition) and "Learning to Reason with Visual-Linguistic Inputs" (unifying vision, language, and reasoning in single architectures). Publication Trends: Recent work (2023-2025) centers on bridging LLMs with classical AI techniques, featuring breakthroughs in uncertainty quantification, multi-task optimization, and graph-based reasoning. Key themes include sparsity-aware vehicle routing, epistemic uncertainty for reliable LLMs, and differentiable neural solvers for combinatorial problems. Awards: IJCAI-JAIR Best Paper Prize (2022) RSS Test of Time Award (2021) RoboCup Best Paper Award (IROS 2015) HRATC 1st Place (2015) IPPC POMDP Track 1st Place (2011, 2014) UAI Google Best Student Paper (2014) Semeval-1 1st/2nd Place (2007) J.G. Crawford Prize (ANU 1996) Leadership & Service: As steering committee chair for ACML and area chair for NeurIPS/ICML/AAAI/IJCAI, Professor Lee shapes global AI discourse. His administrative roles at NUS and collaborations with MIT/Singapore-MIT Alliance demonstrate commitment to advancing AI education and research infrastructure. While student advisees aren't listed, his leadership positions imply extensive mentoring. Research Ecosystem: His work drives NUS's AI initiatives including Knowledge@Computing projects on reasoning frontiers. Current efforts focus on making AI systems robust through uncertainty-aware planning and multi-modal integration, with applications in robotics, verification systems, and combinatorial optimization.

• Finite Model Theory
• Graph Structure Theory
• Computational Complexity
• +۳ مورد دیگر

Kord Eickmeyer is a Lecturer at Technische Universität Darmstadt in the Department of Mathematics, specializing in the mathematical logic group. He holds a PhD in mathematics from Humboldt University Berlin and has held postdoctoral positions at TU Darmstadt (2011–2017) and the National Institute of Informatics in Tokyo (2011–2013). His research focuses on finite model theory, graph structure theory, and computational complexity, particularly in descriptive and parameterized complexity, as well as randomization and derandomization techniques. Research interests include exploring the boundaries of computational complexity through logical frameworks, analyzing graph structures for efficient algorithm design, and investigating the role of randomness in computation. His work bridges theoretical computer science and mathematical logic, with applications in algorithm design and formal methods. Publications span topics from model-checking on ordered structures to gap-planar graphs and randomized logics. Collaborations include prominent institutions like the National Institute of Informatics and Humboldt University Berlin. No scientific awards are explicitly listed, but his extensive academic contributions reflect a strong research trajectory. Advising and grants are not detailed in the provided text, though his academic career includes supervision roles during his PhD and postdoctoral phases. His involvement with the mathematical logic group at TU Darmstadt highlights collaborative research efforts in foundational areas of computer science and mathematics.

Mingsheng Yingمشاهده پروفایل

استاد

• Quantum Computation
• Quantum Programming
• Model-checking Quantum Systems
• +۵ مورد دیگر

Mingsheng Ying is a Distinguished Professor and Research Director of the Centre for Quantum Computation and Intelligent Systems (QCIS) at the Faculty of Engineering and Information Technology, University of Technology Sydney, Australia. He also holds the position of Cheung Kong Professor at the State Key Laboratory of Intelligent Technology and Systems, Department of Computer Science and Technology, Tsinghua University, Beijing, China. Professor Ying graduated from the Department of Mathematics, Fuzhou Teachers College, Jiangxi, China, in 1981. His primary research interests span quantum computation (particularly quantum programming and model-checking quantum systems), programming theory and formal methods, and the foundations of artificial intelligence (focusing on logic and uncertainty). As an author of the books "Foundations of Quantum Programming" (Elsevier - Morgan Kaufmann 2016) and "Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs" (Springer-Verlag, 2001), he has published over 100 papers in top international journals and conferences. His recent research publications demonstrate a strong focus on quantum programming languages, verification techniques for quantum systems, and the theoretical foundations of quantum computation. The trend in his work shows increasing emphasis on formal verification methods for quantum systems, particularly model-checking techniques for quantum Markov chains and quantum processes. His research bridges theoretical computer science with quantum information theory, creating frameworks for reliable quantum software development. Editorial Board, Artificial Intelligence, Elsevier, Amsterdam Editorial Board, Fuzzy Sets and Systems, Elsevier, Amsterdam Vice President, International Fuzzy Systems Association (elected in 2005) Program Chair, IFSA 2005, World Congress of International Fuzzy Systems Association Chairman, Chinese Association of Fuzzy Systems and Mathematics Professor Ying has secured significant research funding including multiple Australian Research Council Discovery Projects such as "Model-checking quantum Markov chains: towards verification techniques for quantum cryptographic systems" (2013-2015) and "Process algebra approach to distributed quantum computation and secure quantum communication" (2011-2013). His work has also received funding from the National Natural Science Foundation of China and Tsinghua University. At QCIS, he leads research in quantum software theory and methodology, with applications in quantum cryptography and secure communication.

• Algorithms
• Game Theory
• Automata Theory
• +۷ مورد دیگر

Marcin Jurdzinski is an Associate Professor (Reader) in the Department of Computer Science at the University of Warwick , UK. He has been a faculty member since 2004 and is a core member of the Foundations of Computer Science and Discrete Mathematics and its Applications research groups. University: University of Warwick School: Faculty of Science Department: Department of Computer Science Position: Associate Professor (Reader) Email: Marcin.Jurdzinski@warwick.ac.uk Office: CS2.19 His research lies at the intersection of algorithms, game theory, automata, and logic , with a strong emphasis on formal verification , model checking , and theoretical computer science . He is best known for his foundational work on parity games , including the development of small progress measures and discrete strategy improvement algorithms. The recent publications reveal a consistent focus on computational complexity in games and verification. Key themes include stochastic games, timed automata, bisimilarity, and quantitative analysis . His work often bridges theoretical insights with practical verification challenges, especially in real-time and probabilistic systems. He has supervised several PhD students and hosted postdoctoral researchers such as Laure Daviaud and Alexander Kozachinskiy. He has led EPSRC-funded projects including Solving Parity Games in Theory and Practice and Counter Automata: Verification and Synthesis . PhD Students: Aditya Prakash, Thejaswini K. S., Michail Fasoulakis, John Fearnley, Michal Rutkowski, Ashutosh Trivedi Postdocs: Laure Daviaud, Alexander Kozachinskiy He is actively involved in the academic community, serving on the steering committee of the Highlights of Logic, Games and Automata conference and on program committees for major venues such as CONCUR, ICALP, and LICS. He has also organized workshops including FORMATS and ICALP co-located events.

• Machine Learning
• Artificial Intelligence
• Explainability of AI
• +۳ مورد دیگر

Carlos Guestrin is the Fortinet Founders Professor of Computer Science at Stanford University and serves as Director of the Stanford AI Lab (SAIL) and Senior Fellow at the Institute for Human-Centered AI (HAI). He holds dual roles as Chief Scientist at Visual Layer and Virtue AI. His research focuses on machine learning methods, explainability, fairness, and ethics of AI, alongside systems for scalable AI deployment. Education details are not explicitly provided, but his work spans foundational contributions to machine learning systems (e.g., XGBoost) and explainable AI frameworks like Anchors and LIME. He emphasizes ethical AI through projects like CheckList for model testing and Model Equality Testing for API transparency. His scientific contributions include advancing optimization techniques (AdaScale SGD, TVM compiler) and ethical benchmarks for generative AI. He has been recognized as a Member of the National Academy of Engineering for his transformative impact on AI systems and their societal applications. Guestrin leads interdisciplinary initiatives at SAIL and HAI, fostering collaboration between technical innovation and human-centered design. His work bridges theory and practice, addressing challenges in healthcare (diabetes management systems) and AI security.

Norman Sadehمشاهده پروفایل

استاد

• cybersecurity
• online privacy
• Human-AI Interaction
• +۱۱ مورد دیگر

Norman Sadeh is a Professor in the School of Computer Science at Carnegie Mellon University (CMU), where he has made significant contributions to cybersecurity, privacy, and AI research. He has co-founded and co-directed several groundbreaking graduate programs at CMU, including the Privacy Engineering Program (2012-present), the Ph.D. Program in Societal Computing (2003-2013), and the MBA track in Technology Strategy and Product Management (2005-2017). Carnegie Mellon University, School of Computer Science Software and Societal Systems Department CyLab Security and Privacy Institute Manufacturing Futures Institute Dr. Sadeh received his Ph.D. in Computer Science at CMU with a major in Artificial Intelligence and a minor in Operations Research. He holds an M.Sc. in computer science from the University of Southern California and a BS/MS degree in electrical engineering and applied physics from the Free University of Brussels (Belgium) as 'Ingénieur Civil Physicien.' Professor Sadeh's research spans cybersecurity, online privacy, Human-AI Interaction, AI governance, mobile computing, the Internet of Things, user-oriented machine learning, and language technologies. He is particularly known for his pioneering work on AI-based privacy enhancing technologies, including privacy assistants, automated privacy compliance tools, and NLP-based privacy solutions. His work has influenced the design of privacy features at major technology companies including Apple, Google, and Facebook/Meta, as well as privacy policies at regulatory agencies like the Federal Trade Commission and the California Office of the Attorney General. Analysis of his recent publications shows a strong focus on practical privacy solutions, particularly in mobile and IoT contexts, with an emphasis on making privacy more usable and understandable for end users. His work bridges technical innovation with policy implications, addressing both the technological and human aspects of privacy protection. 2018 Outstanding Entrepreneur of the Year award from the Pittsburgh Venture Capital Association Test of time award by the AAAI Conference on Web and Social Media (ICWSM) Gartner Group's Magic Quadrant leader in Security Awareness Computer-Based Training for 4 consecutive years Deloitte's Technology Fast 500 recognition for 3 consecutive years Professor Sadeh has advised numerous students, including PhD candidates like Aerin (Shikhun) Zhang, whose dissertation focused on understanding diverse privacy attitudes. His research has been funded through various grants, including NSF SaTC projects, and has resulted in technologies that protect tens of millions of users worldwide. He also founded Wombat Security Technologies, which was acquired by Proofpoint in 2018 and whose technologies are used by over 75% of Fortune 100 companies. Professor Sadeh leads several research initiatives including the Privacy Engineering Program, the Usable Privacy Policy Project, the Personalized Privacy Assistant Project, and CMU's Privacy Infrastructure for the Internet of Things. His Mobile Commerce Lab and E-Supply Chain Management Lab have produced influential research that has been commercialized by major organizations including IBM, Raytheon, Boeing, and the U.S. Army.