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

Michael G. Kayمشاهده پروفایل

دانشیار

• Logistics Network Design
• Metaheuristics
• Freight Transportation
• +۴ مورد دیگر

Michael G. Kay is an Associate Professor in the Edward P. Fitts Department of Industrial and Systems Engineering at North Carolina State University's College of Engineering. Since joining in 1992, he has served as Director of the Integrated Manufacturing Systems Engineering graduate program and as Co-Director of the Operations Research Program. His educational background includes a Ph.D. in Industrial Engineering from NC State University (1992), an MS in Industrial Engineering from the University of Florida (1984), and a BA in Economics from the University of Florida (1981). Kay's research focuses on logistics engineering, particularly the design of public logistics networks using driverless delivery vehicles. His work explores innovative solutions for freight transportation, warehousing, and production system design, with applications ranging from military logistics to sustainable supply chains. Key research areas include metaheuristic optimization, material handling systems, and multimodal transportation networks. Analysis of Kay's recent publications reveals a strong interdisciplinary focus spanning operations research, logistics engineering, and supply chain innovation. His work increasingly incorporates emerging technologies like blockchain and additive manufacturing to solve complex industrial problems. Research trends demonstrate consistent application of stochastic optimization methods to real-world challenges in transportation, manufacturing, and military logistics. Throughout his career, Kay has developed significant software tools including: Logjam (Julia package for logistics engineering) Matlog (Logistics Engineering Matlab Toolbox) Lgpy (Logistics Engineering Python Package) GAOT (Genetic Algorithm Optimization Toolbox)

• Quality of Service (QoS) Evaluation
• Rare Event Simulation Techniques
• Survivability Quantification
• +۳ مورد دیگر

Poul Einar Heegaard is a Professor at the Department of Information Security and Communication Technology (IIK), Norwegian University of Science and Technology (NTNU). He has held leadership roles including Head of the Networking Research Group (2019-2021) and Head of the Department of Telematics (2009-2013). He has also served as Head of the QUAM-lab at NTNU (2015-2019) and as Coordinator of the Network Research area (2006-2009). He has been a visiting professor at institutions such as Duke University, University of Illinois at Urbana-Champaign, and TU München. He holds a Master's Degree (Siv.ing.) in Computer Systems and Telematics (1989) and a PhD (Dr.ing.) in Telematics (1998), both from NTNU. His research focuses on Quality of Service (QoS) evaluation, rare event simulation techniques, survivability quantification, network monitoring, and distributed autonomous management in communication systems. His recent academic articles explore topics like network slicing, NFV resilience, Markov models for server performability, and scalability indices in 5G systems. He has contributed to conferences and journals on QoE fairness, IoT traffic modeling, and software reliability in SDN controllers.

Yang Liuمشاهده پروفایل

مدرس ارشد

• Data Security
• Privacy-Preserving Computing
• Federated Learning
• +۳ مورد دیگر

Dr. Yang Liu is a Senior Lecturer in the Department of Computer Science at Swansea University's Faculty of Science and Engineering. He holds a D.Phil. in Computer Science from the University of Oxford and specializes in data security, privacy-preserving computing, and blockchain technologies. Research Focus: Dr. Liu's work centers on secure computation frameworks with specific expertise in: Federated learning systems optimization Privacy-preserving smart contract design Blockchain security and regulation Cryptographic techniques for data protection Secure machine learning applications Recent publications demonstrate methodological innovations in adaptive federated learning algorithms, regulatable blockchain architectures, privacy-enhanced recommendation systems, and security vulnerability analysis in Ethereum networks. His research bridges theoretical cryptography with practical applications in cloud/edge computing environments.

• Network Security
• Software-Defined Networking
• Network Function Virtualization (NFV)
• +۵ مورد دیگر

Besmir Tola is an Associate Professor at the Department of Information Security and Communication Technology, NTNU. His affiliations include the Faculty of Information Technology and Electrical Engineering, where he holds a permanent academic position. Previously, he served as an Assistant Professor (2020-2022), Researcher (2019-2020), and held a Marie S. Curie Fellowship (2015-2019) within the same institution. He earned his Master's from the University of Siena (Italy) and PhD from NTNU. His research focuses on dependability modeling of software-defined networks, performance analysis of virtualized networks, wireless security, and NFV orchestration. He has published extensively on topics like NFV service resilience, redundancy allocation, and network availability modeling. His work emphasizes practical solutions for carrier-grade service provisioning and network reliability in cloud-native architectures. Dr. Tola has collaborated with industry partners such as Nokia Bell Labs and SIKT (Norway), contributing to both academic and applied research. He is also an accredited Cisco Networking Academy instructor, teaching courses like Cisco Certified Network Associate and Cloud Security. His voluntary roles include leadership in IEEE NTNU Student Branch and PhD/postdoc advocacy organizations.

Aakash Tyagiمشاهده پروفایل

استاد

• Hardware Verification
• Secure Computing
• High Performance Computing Architectures
• +۳ مورد دیگر

Aakash Tyagi is a Professor of Practice in Computer Science & Engineering at Texas A&M University, affiliated with the Multidisciplinary Engineering program. His roles include academic leadership, teaching, and industry collaboration. He holds a Ph.D. in Computer Engineering from the University of Louisiana (1993), an M.S. in Electrical and Computer Engineering (1989), and a B.S. in Electronics & Communication from Kamla Nehru Institute of Technology, India (1987). His research focuses on hardware verification, secure computing, and high-performance computing architectures. He has over two decades of industry experience at Intel, contributing to CPU design and managing projects like the Knights Landing processor. Teaching interests include computer architecture, data structures, and project management. His publications emphasize innovative applications of machine learning in hardware verification, formal methods for processor security, and optimization techniques for EDA tools. Notable works include HyPFuzz (2023), MinBLoG (2024), and Spec2Assertion (2025), advancing automated verification and vulnerability detection. Tyagi has received over 15 teaching and service awards from Texas A&M, including multiple Distinguished Achievement Awards (2015–2024) and grants for instructional innovation. He actively bridges academia and industry through research partnerships and mentorship.

Nguyen Tungمشاهده پروفایل

دانشیار

• Software Engineering
• Mobile Application Development
• Code Analysis and Optimization
• +۳ مورد دیگر

Nguyen Tung is an Instructional Associate Professor in the Department of Computer Science & Engineering at Texas A&M University. His research focuses on software engineering, mobile application development, and computational tools for improving code quality and developer productivity. He has developed frameworks like ALPACA for linguistic analysis of software corpora and ExAssist for exception handling recommendations. His work spans topics including API misuse correction, automated response systems for app reviews, and deep learning approaches to UI design patterns. Key research areas include: Code analysis and optimization Statistical methods for software migration Machine learning in IDEs Human-computer interaction in educational technologies He has published extensively on topics such as defect prediction, code recommendation systems, and mining visual logs of software behavior. His contributions include tools like DRC for detecting dangling references in web applications and GraPacc for graph-based code completion.

• Computer Architecture
• Computer Security
• Quantum Computing
• +۵ مورد دیگر

Assoc Prof Anupam Chattopadhyay is an Associate Professor in the College of Computing & Data Science at Nanyang Technological University (NTU), Singapore. He also holds a courtesy appointment in the School of Physical & Mathematical Sciences. His research focuses on computer architecture, security, design automation, and quantum computing. Anupam received his PhD from RWTH Aachen University in 2008, followed by roles at CoWare R&D and RWTH Aachen as a Junior Professor before joining NTU in 2014. Education: B.E., Jadavpur University, India MSc, ALaRI, Switzerland PhD, RWTH Aachen University, Germany Research Interests: Anupam’s work spans quantum computing, hardware security, AI security, post-quantum cryptography, and emerging technologies. His contributions include novel high-level synthesis techniques for cryptography, reliability estimation flows for embedded processors, and exploration of coarse-grained reconfigurable architectures. His research has been featured in major outlets like The Economist and Asian Scientist. Awards: Borcher's plaque (2008) for outstanding doctoral dissertation Nomination for Best IP Award (ACM/IEEE DATE 2016) Nomination for Best Paper Award (International Conference on VLSI Design 2018) Advising & Grants: Anupam leads a team of over 20 researchers, overseeing projects funded by various grants. He has advised numerous doctoral students and collaborates with institutions like Temasek Labs and the Indian Statistical Institute. Labs & Teams: His research group focuses on advanced topics in secure computing, quantum-resistant systems, and hardware-software co-design, leveraging cutting-edge tools and platforms for next-generation technologies.

Miguel Matosمشاهده پروفایل

استادیار

• Persistent Memory
• Blockchain Scalability
• Systems Evaluation
• +۳ مورد دیگر

Miguel Matos is an Assistant Professor at Instituto Superior Técnico (IST) of Universidade de Lisboa and a Researcher at INESC-ID's Distributed Systems Group. His research focuses on Persistent Memory systems, blockchain scalability, distributed systems evaluation, and database performance. He has led major projects such as Angainor (reproducible evaluation tools) and ACT-PM (crash-consistency testing). Research interests include exploring persistent memory's challenges, blockchain Layer-2 limitations, automated bug detection (HawkSet, Mumak), and decentralized network emulation (Kollaps). He has received awards like the Gilles Muller Best Artefact Award at EuroSys 2025 and Best Paper Awards at DAIS 2017 and IPDPS 2012. He coordinates multi-million Euro grants including EU's Qualichain and national FCT projects. Teaching includes courses like 'Highly Dependable Systems' and 'Large-Scale Systems Engineering' at IST. His work bridges academia and industry, collaborating with startups like MIMA Housing and LeanXcale.

Miguel Pupo Correiaمشاهده پروفایل

استاد

• Cybersecurity
• Distributed Systems
• Blockchain Technology
• +۵ مورد دیگر

Miguel Pupo Correia is a Full Professor in the Department of Computer Science and Engineering at Instituto Superior Técnico, University of Lisbon. He serves as President of the Executive Committee of INESC-ID and is a researcher in the Distributed, Parallel and Secure Systems (DPSS) group. He represents Portugal in the European Blockchain Partnership (EBP) and holds roles in Associação .PT. He holds a PhD in Computer Science from the University of Lisbon Faculty of Sciences. His research focuses on cybersecurity, dependability in distributed systems, and their applications in blockchain, cloud, and mobile environments. Key projects include TRUSTyFOOD, BIG, and MAFTIA, among others. He is an Associate Editor for IEEE Transactions on Computers and a Senior Member of IEEE. His work spans blockchain interoperability, secure cloud storage, intrusion detection, and fault-tolerant algorithms. Notable contributions include BlockSim (a blockchain simulator) and SRX (SGX data recovery). He has over 200 publications and leads initiatives like BLOCKCHAIN.PT to advance Portugal’s blockchain adoption.

• Static Program Analysis
• Abstract Interpretation
• Programming Languages
• +۹ مورد دیگر

Caterina Urban is a Research Scientist at INRIA, affiliated with École Normale Supérieure in Paris, where she is a member of the ANTIQUE research team. She holds a PhD in Computer Science from École Normale Supérieure and completed her undergraduate and graduate studies at Università degli Studi di Udine with summa cum laude honors. She previously conducted postdoctoral research at ETH Zurich. PhD in Computer Science, École Normale Supérieure, Paris, France (2015) MSc in Computer Science, Università degli Studi di Udine, Italy (2011) BSc in Computer Science, Università degli Studi di Udine, Italy (2009) Her research spans formal methods, abstract interpretation, and static analysis, with a strong emphasis on ensuring reliability, fairness, and robustness in machine learning and data science software. She leads projects such as Lyra (on data science software), Libra (fairness certification), ForML, and SAIF. Her work bridges theoretical foundations with practical tool development, targeting real-world software challenges in AI safety. Her recent publications reveal a consistent focus on applying abstract interpretation to machine learning, data leakage, fairness, and program termination. Key themes include certified robustness, input usage analysis, and perfectly parallel verification, demonstrating both theoretical depth and practical impact. She has developed open-source tools like Libra and FuncTion. Best Poster Award at SOFSEM 2011 Artifact Evaluation Badges at OOPSLA 2020 Mentored award-winning undergraduate research (Global Undergraduate Awards 2022) She advises multiple PhD and postdoctoral researchers and has supervised numerous master’s and bachelor’s students. She is actively involved in the academic community, serving on program committees for PLDI, OOPSLA, and CAV, and is the general chair of iFM 2025. She teaches advanced courses at MPRI and international summer schools on abstract interpretation and formal methods. She leads research on data science software analysis, fairness in ML, and static verification of neural networks, often in collaboration with institutions across Europe. Her lab, part of the ANTIQUE team, fosters interdisciplinary work combining formal methods with AI and software engineering.

• Programming Languages
• Formal Verification
• Compilers
• +۳ مورد دیگر

Clément Chavanon is a researcher at INRIA (French National Institute for Research in Digital Science and Technology), actively contributing to programming languages and formal methods research as demonstrated by his publication at CPP 2024. His work focuses on bridging formal verification with networking systems, specifically developing mathematically proven compilers for network packet filtering. He leverages Binary Decision Diagrams to ensure correctness in security-critical infrastructure, targeting applications in network security and reliable software systems. This research intersects theoretical computer science with practical systems engineering challenges. Chavanon's recent publication exemplifies a growing trend in applying formal methods to real-world networking problems, emphasizing verifiable correctness in compiler design. His contributions advance the fields of programming languages and systems security, with implications for building tamper-proof network infrastructure through rigorous mathematical foundations.

Ann Fruhlingمشاهده پروفایل

استاد

• Human-Computer Interaction
• Health Informatics
• User Interface Design
• +۷ مورد دیگر

Ann Fruhling is a Distinguished Professor in the College of Information Science & Technology at the University of Nebraska at Omaha, where she serves as the founding Director of the School of Interdisciplinary Informatics and Chair of the Ph.D. in Computing and Information Science program. She is also co-Director of the Nebraska University Center for Biomedical Informatics Research and Innovation and Director of the Consortium for Public Informatics (CPHI). Education: Ph.D. in Management Information Systems, Strategy, Marketing, Computer Science, and Human-Computer Interaction – University of Nebraska–Lincoln, 2003 MBA – University of Nebraska at Omaha, 1991 BS in Computer Information Systems – Colorado State University, 1983 Dr. Fruhling's research centers on human-computer interaction, usability, health and biomedical informatics, and agile system development. Her work emphasizes designing and evaluating information systems for high-stakes environments, particularly emergency response and public health laboratories. She is the Principal Investigator of STATPack™, a widely deployed bioterrorism surveillance system. Her recent publications reflect a strong focus on usability in health IT, emergency informatics, agile methodologies, and public health system design. The research spans disciplines including information systems, cognitive science, software engineering, and public policy, with recurring themes of user-centered design, system reliability, and real-world implementation challenges. Scientific Awards: Charles W. and Margre H. Durham Distinguished Professor (2017) UNO Graduation Marshal (2016) Mutual of Omaha Distinguished Professor (2011) Nebraska Navy Admiral Award (2006) Dr. Fruhling has secured over $8.5 million in research funding across more than 100 projects, supporting the training and development of over 85 students. She advises doctoral students in the CIS Ph.D. program and leads collaborative research initiatives through CPHI and the Biomedical Informatics Center. Her teaching portfolio includes Human-Computer Interaction, Health Informatics, Agile Development, and MIS Capstone courses. She leads the STATPack™ research lab in PKI 363 and collaborates with public health laboratories across the Midwest. Her team focuses on developing, evaluating, and deploying informatics solutions for emergency preparedness and response.

• Formal Verification
• Programming Languages
• Type Systems
• +۷ مورد دیگر

Arthur Azevedo de Amorim is an Assistant Professor in the Department of Computer Science at the Rochester Institute of Technology (RIT), part of the College of Computing and Information Sciences. His research lies at the intersection of programming languages, formal verification, and software security. Ph.D., University of Pennsylvania (advised by Benjamin Pierce and Cătălin Hrițcu) Postdoctoral Fellow, Boston University and Carnegie Mellon University B.S., Unicamp and Polytechnique His research focuses on enhancing software security and reliability through formal methods, particularly using formal verification , programming languages , and type systems . Key areas include cryptographic protocols , where he develops formalisms based on separation logic to verify protocols like TLS, and compartmentalization , where he analyzes and implements formally verified techniques to limit the impact of vulnerabilities in low-level code. His work includes the development of SECOMP , the first formally verified realistic compartmentalizing compiler. His recent publications span top conferences such as POPL, CCS, ESOP, and ICALP, reflecting a strong trend toward foundational work in program logics, secure compilation, and type-based security. His research often involves deep formalization in the Coq proof assistant, and he contributes to the formal methods community through open-source tools and educational resources like the Software Foundations textbook. He is actively involved in academic service, having served on program committees for POPL, ICFP, PLDI, and others. He mentors several graduate and undergraduate students at RIT and has previously mentored researchers at Boston University. Notable software contributions include: Cryptis : Extension of Iris separation logic for cryptographic protocols Deriving : Coq library for automating class instances Extensional Structures : Coq library for finite data structures Netter : Language for probabilistic network modeling

Christos Papachristouمشاهده پروفایل

استاد

• Embedded Systems Design
• Parallel Computer Architectures
• Quantum Computing
• +۴ مورد دیگر

Christos Papachristou, PhD is a Professor in the Department of Electrical, Computer, and Systems Engineering at the Case School of Engineering , Case Western Reserve University. His academic career spans over four decades since earning his PhD in Electrical Engineering & Computer Science from Johns Hopkins University in 1975. Prof. Papachristou's research focuses on Embedded Systems Design , Quantum Computing Architectures , Reconfigurable Systems/FPGAs , and Hardware Security . His work addresses critical challenges in fault-tolerant systems , secure system design , and high-level synthesis . Notable contributions include innovations in radiation-hardened SRAM designs , hardware trojan detection , and quantum computing infrastructure . Key Achievements: Recipient of the Albert Nelson Marquis Lifetime Achievement Award (2019) IEEE Best Paper Award for Cognitive Communications for Aerospace Applications (2019) Invited NATO Summer School Lecturer (2008) in Spain/UK and Cleveland His publications reflect expertise in circuit reliability , embedded system security , and quantum computing . Recent work emphasizes electromigration mitigation and reconfigurable architecture kernels . Prof. Papachristou collaborates extensively on projects funded by NSF, DoD, and industry partners. Teaching specialties include Parallel Computer Architectures , Configurable Devices , and Quantum Computing , reflecting his dual focus on theoretical innovation and practical implementation in advanced technologies.

• Industrial Engineering
• Engineering Management
• Lean Manufacturing
• +۱۳ مورد دیگر

M. Affan Badar is a tenured Professor in the Department of Applied Engineering & Technology Management at the Bailey College of Engineering & Technology, Indiana State University (ISU). He has held key leadership roles including Director of the PhD in Technology Management (since 2022), Interim Associate Dean (2014–2015), and Department Chair (2010–2014). He also served as Professor and Chair at the University of Sharjah (UAE) from 2016 to 2018. His research spans critical domains such as Lean Six Sigma, Sustainable Supply Chain Management, Quality Engineering, Cost of Quality, Industry 4.0, and Data Analytics in higher education and healthcare. His work integrates industrial engineering principles with real-world applications in public policy, education finance, and health systems optimization. The recent publications highlight a strong trend toward interdisciplinary research, combining machine learning with quality assurance, blockchain in healthcare, and policy analysis of energy and education systems. His scholarly output includes numerous journal articles, book chapters, and conference proceedings, with a focus on practical problem-solving and systemic improvement. IEOM Fellow Award (2022) Theodore Dreiser Distinguished Research/Creativity Award (2023) National Award for Excellence in Education 2024 (AMP, India) Multiple Best Paper and Leadership Awards from IEOM Society Marquis Who’s Who Lifetime Achievement and multiple listings Dr. Badar has secured significant research funding from NSF, Lilly Foundation, SBA, and internal grants, supporting projects in technology education, healthcare modeling, and innovation. He actively mentors students and serves as faculty advisor for the IEOM student chapter. His service extends to ABET accreditation as a commissioner and leadership in professional societies. He leads and contributes to major collaborative research initiatives, especially in data-driven decision-making for public institutions and sustainable operations. His lab and team activities are strongly oriented toward experiential learning and community engagement, particularly through NSF-funded educational projects like CULMINATE and STARS.