Find Academic Supervisors

Bradley SchmerlView profile

Researcher

• Software Engineering
• Software Architecture
• Self-Adaptive Systems
• +5 more

Bradley Schmerl serves as a Principal Systems Scientist in the Software and Societal Systems Department (S3D) within Carnegie Mellon University's School of Computer Science. His research advances software engineering practices for modern challenges in distributed heterogeneous systems, self-adaptation, and cyber-physical integration. He leads the ABLE research group and actively mentors students in the Masters in Software Engineering program while teaching core courses like Software Architecture and Software Engineering Practicum. Dr. Schmerl's work addresses critical challenges in composing continuously evolving software systems, including components from untrusted third parties and on-the-fly recomposition for environmental changes. His research develops reusable, analyzable tools for software composition with emphasis on model-based adaptation, uncertainty management, and cross-language integration. Key projects include Rainbow for runtime architecture reflection, Acme for formal architectural foundations, and Cyber-physical Systems research linking software models with physical dynamics. Analysis of his 2023-2025 publications reveals intensifying focus on robotics software architecture (particularly ROS-based systems), explainable AI for architectural tradeoff analysis, and configuration management in adaptive systems. Trends show growing integration of machine learning for auto-tuning, empirical studies of misconfigurations, and dimensionality reduction techniques for visualizing design spaces—consistently bridging theoretical rigor with practical tool development for real-world applications. Scientific Awards: No specific awards were documented in the source materials. Dr. Schmerl serves as Practice Area Lead and mentor in CMU's Masters in Software Engineering program, guiding client projects including Rainbow UI for self-adaptive framework interfaces, CoBot UI for telepresence robots, and Educational Telepresence Tasking Language development. His research receives support through ABLE group projects funded by grants targeting software architecture foundations, adaptation mechanisms, and cyber-physical system validation. As a core member of the ABLE research group, he directs investigations into architecture-based self-adaptation with active projects spanning Rainbow (runtime architecture models for dynamic adaptation), Acme (formal architectural styles and tools), and Cyber-physical Systems (software-physical model integration). The group also maintains legacy work in End-User Architecting, Architecture Evolution, and service-oriented platforms for intelligence analysis through SORASCS.

Rayid GhaniView profile

Professor

• Machine Learning
• Artificial Intelligence
• Data Science
• +5 more

Rayid Ghani is a Professor at Carnegie Mellon University (CMU), affiliated with both the Machine Learning Department (School of Computer Science) and the Heinz College of Information Systems and Public Policy. He co-leads CMU’s Responsible AI Initiative and leads the Data Science and Public Policy Group and the Data Science for Social Good Program. His work focuses on applying machine learning, AI, and data science to address social and policy challenges in health, criminal justice, education, public safety, workforce development, and sustainability, with an emphasis on fairness, equity, and transparency in AI systems. Education: PhD in Software Engineering PhD in Societal Computing Rayid’s research spans three pillars: (1) building AI systems for human collaboration to improve decision-making, (2) embedding fairness and equity in AI design, and (3) ensuring reliability and resilience of AI systems in dynamic environments. He emphasizes application-grounded experimental design and stakeholder engagement. His recent publications include frameworks for fair ML experimentation, analyses of fairness-accuracy trade-offs, and AI applications in child welfare, public health, and housing policy. He has also contributed to policy discussions, including congressional testimonies on responsible AI procurement. Advising & Grants: Rayid collaborates with governments, NGOs, and academic institutions on projects like eviction prevention, HIV care retention, and bias mitigation in public policy. He advises non-profits and startups on data science strategy and ethics. Labs & Teams: He leads the Data Science and Public Policy Group and the Data Science for Social Good Program at CMU, fostering interdisciplinary collaborations between computer scientists, social scientists, and policymakers.

• Biosecurity
• Synthetic Biology
• Conservation Biology
• +7 more

Stephen Turner is an Associate Professor of Data Science and Assistant Dean for Research at the University of Virginia School of Data Science . His work bridges genomics, data science, and national security , focusing on biosecurity, synthetic biology, conservation, and bioinformatics applications in human health . Previously, he was a faculty member in the UVA School of Medicine’s Department of Public Health Sciences (2011–2019) and directed the UVA Bioinformatics Core . Ph.D., Human Genetics, Vanderbilt University M.S., Applied Statistics, Vanderbilt University B.S., Biology, James Madison University Turner’s research spans computational approaches to biosecurity, biodiversity conservation, and human health . Recent publications highlight tools like the qqman and kgp R packages, PLANES for epidemiological modeling, and biorecap for bioRxiv preprint summarization. His work integrates large-scale sequencing, genome editing, and machine learning in conservation biotechnology and public health forecasting. Scientific contributions include applications in infectious disease forecasting , forensic genomics , and maternal-fetal biology . He has mentored interdisciplinary students and collaborated on NIH-funded research , while advising biotech startups at the intersection of academia, industry, government, and policy .

• Embedded Systems
• Software Verification and Validation
• Model Checking
• +5 more

Stefan Kowalewski serves as Professor of Embedded Software at RWTH Aachen University, leading the Chair of Embedded Software (Informatik 11) within the Department of Computer Science. His research spans critical domains including medical cyber-physical systems, automotive software, and industrial automation, with over 150 publications demonstrating sustained scholarly impact. Professor Kowalewski's work focuses on three interconnected research pillars: Embedded Systems Verification: Pioneering model checking techniques for PLC code, particularly addressing state space challenges in GRAFCET-based specifications Medical Cyber-Physical Systems: Developing safety-critical software for mechanical ventilation, extracorporeal membrane oxygenation, and ARDS diagnosis systems with strong clinical collaborations Automotive Software: Creating verification frameworks and safety architectures for automated vehicles through projects like UNICARagil Recent publications reveal an increasing integration of AI techniques with traditional verification methods, particularly for medical applications involving neonatal care and critical respiratory support. His 2024-2025 work shows particular emphasis on timing isolation in vehicle communication systems, middleware performance evaluation, and robust AI models for medical diagnosis. Professor Kowalewski maintains active collaborations with RWTH Aachen University Hospital's medical departments and automotive industry partners. His laboratory operates specialized facilities including the Cyber-Physical Mobility Lab for vehicle research and in-vivo testing setups for medical device validation. He has supervised numerous doctoral candidates, with recent students focusing on topics like ARDS classification algorithms, GRAFCET verification techniques, and safety architectures for software-defined vehicles. His educational contributions include developing remote teaching platforms for cyber-physical systems education.

Jelena ZdravkovicView profile

Professor

• Requirements Engineering
• Enterprise Modeling
• Business Process Management
• +6 more

Jelena Zdravkovic is a Professor and Head of the Department of Computer and Systems Sciences (DSV) at Stockholm University. She leads the PRECIS research group which focuses on Process, Requirements, Enterprise, Capability, and Information Systems modelling. Her work spans theoretical and practical aspects of enterprise and IT solutions with a particular emphasis on digital transformation. Professor Zdravkovic's research interests center around Digital Business Ecosystems , Digital Twins , and Data-driven Requirements Engineering . Her work in Enterprise Modeling explores capability-oriented and consumer-oriented approaches to requirements engineering. She investigates how digital transformation and big data can be leveraged to improve requirements elicitation processes, and how organizations can model and manage complex digital business ecosystems. Her research has significant implications for how businesses can adapt to rapidly changing technological environments while maintaining resilience and competitiveness. Her recent publications reveal a clear trajectory toward integrating artificial intelligence with digital modeling techniques, particularly in the context of smart buildings and business ecosystems. There's a consistent focus on how data-driven approaches can transform traditional requirements engineering practices, making them more responsive to the velocity and variety of digital data sources. Her work bridges theoretical modeling with practical applications across various industries including healthcare, energy, and transportation. Professor Zdravkovic has been actively involved in mentoring PhD students, including supervising research on the Management Framework of Resilient Digital Business Ecosystems. She has participated in numerous national and international projects focused on interoperability and model-driven engineering, securing research funding for innovative work at the intersection of business and technology. She leads the PRECIS research group which deals with theories, methods and tools for analysis and design of organizational and IT solutions in congruence. The group's research covers three key topics – Enterprise Modelling, Business Process Management, and Conceptual Modelling. Their work brings together academic rigor with practical applications to solve real-world business challenges through innovative information systems approaches.

• Formal Verification
• Software Testing
• Programming Languages
• +6 more

Alastair F. Donaldson is a Professor and Director of Research in the Department of Computing at Imperial College London, where he leads the FastPL research group. His academic career spans over a decade at Imperial, progressing from Lecturer (2011-2014) to Senior Lecturer (2014-2017), Reader (2017-2020), and Professor (2020-present). He has also held significant industry positions, including Founder and Director of GraphicsFuzz Ltd. (acquired by Google in 2018), Senior Software Engineer at Google (2018-2021), and Visiting Researcher at both Google and Microsoft Research Redmond. Donaldson earned his PhD from the University of Glasgow under Alice Miller, following a BSc (hons, First Class) in Computing Science and Mathematics. His postdoctoral work included an EPSRC Postdoctoral Research Fellowship at the University of Oxford and a Research Fellowship at Wolfson College Oxford. His research focuses on formal analysis, software testing and programming languages techniques for improving software reliability, with special emphasis on high-performance systems. Donaldson's work bridges theoretical foundations with practical applications, particularly in compiler testing, GPU programming verification, and metamorphic testing. His research has significantly influenced both academia and industry, as evidenced by the acquisition of his startup GraphicsFuzz by Google. Analysis of his recent publications reveals a strong focus on fuzz testing techniques applied across diverse domains including compilers, GPUs, cryptographic protocols, and large language models. His work consistently combines formal methods with practical testing approaches, addressing challenges in compiler correctness, memory models, and API verification across multiple platforms. 2017 BCS Roger Needham Award EPSRC Early Career Fellowship Best Paper Award, EuroSys 2024 Best Paper Award, MET 2021 Best Paper Award, IWOCL 2019 Best Paper Award, IISWC 2019 Best Paper Award, ICST 2016 ACM SIGSOFT Distinguished Paper Award, ISSTA 2023 ACM SIGSOFT Distinguished Paper Award, FSE 2017 ACM SIGPLAN Most Influential OOPSLA Paper Award, 2022 (for GPUVerify) As Director of Research in the Department of Computing, Donaldson oversees research strategy and development. His FastPL research group investigates novel techniques for programming, testing and reasoning about high performance systems. He has served on numerous program committees and held leadership roles including PLDI Steering Committee Chair (2022-2025) and PACM-PL Advisory Board member. His industry engagement includes testifying as an Expert Witness in the IBM UK Ltd v LzLabs GmbH & Ors case. The FastPL research group, which Donaldson leads, focuses on formal analysis, software testing and programming languages. The group has made significant contributions to compiler testing, GPU verification, and metamorphic testing techniques, with practical impact demonstrated by the acquisition of GraphicsFuzz. Current research directions include fuzzing for zero-knowledge proof circuits, randomized testing of decompilers, and systematic testing of large language models for code generation.

• Materials Science
• Manufacturing Engineering
• Additive Manufacturing
• +3 more

Robrecht Abts is a researcher at KU Leuven’s Manufacturing Processes and Systems (MaPS) group, affiliated with the De Nayer Campus. His work bridges electromechanics, materials science, and advanced manufacturing techniques. His research focuses on structure, behavior, and sustainability of materials , with particular emphasis on thermal analysis in additive manufacturing processes like fused filament fabrication (FFF). This includes leveraging deep learning for real-time thermal data interpretation and optimizing electrical discharge machining (EDM) through adaptive pulse classification. Recent publications highlight his expertise in Threshold-free machine learning pipelines Thermal modeling in 3D printing COMSOL simulations for manufacturing processes

• Model-Based Design
• Design Automation
• Optimization
• +4 more

Marc C.W. Geilen is an Associate Professor at the Electronic Systems group , Eindhoven University of Technology. He leads the Model-Based Design Lab and contributes to the CompSOC Lab and High Tech Systems Center . His work focuses on model-based design methods, design automation, and optimization for real-time and embedded systems. Research Keywords: Cyber-Physical Systems, Real-Time Systems, Embedded Systems, Performance Analysis, Design Automation Key Collaborations: EU ECSEL TRANSACT project, SAM-FMS project, Arrowhead Tools initiative His recent publications address weakly-hard timing constraints in server-based systems, hybrid performance modeling for cyber-physical systems, and neural network optimization for communication. Article trends span Real-Time Scheduling , Trustworthy Modeling , Neural Network Efficiency , and Resource Allocation in distributed environments. Scientific Awards : Partial-Order Reduction for Performance Analysis (2018) Teaching activities include courses in Computational Modeling , Embedded Signal Processing , and Discrete Mathematics . He collaborates across projects like TRANSACT, SAM-FMS, and Arrowhead Tools, focusing on flexible manufacturing and cloud-to-edge transitions.

Enrico OpriView profile

Assistant Professor

• Neuromodulation
• Deep Brain Stimulation (DBS)
• Neurological Disorders
• +4 more

Dr. Enrico Opri is an Assistant Professor in the Department of Biomedical Engineering at the University of Michigan , where he directs the Opri Lab. His research focuses on engineering novel methodologies to automate and enhance clinical procedures in neuromodulation for neurological disorders such as Parkinson’s, Tourette syndrome, essential tremor, and epilepsy. Research Focus Neurophysiological activity in basal ganglia-thalamocortical circuits Therapeutic effects of neuromodulation (e.g., Deep Brain Stimulation, cortical stimulation mapping) Identification of neurological biomarkers for improved clinical procedures Advancements in closed-loop neurostimulation systems Article Trends Dr. Opri's recent publications emphasize closed-loop deep brain stimulation (DBS) systems, computational modeling of neural activity, and the identification of biomarkers for neurological disorders. Key subfields include Parkinson’s disease motor dynamics, Tourette syndrome tic detection, essential tremor treatment, and cortico-thalamic coupling mechanisms. His work bridges biomedical engineering and clinical neuroscience, focusing on translating technological innovations into therapeutic applications.

Michael FinkView profile

Researcher

• Control Theory
• Automation and Robotics
• Agricultural Engineering
• +4 more

Michael Fink is a researcher at the Chair of Automatic Control Engineering , Technical University of Munich . He holds an M.Sc. in Electrical Engineering and Information Technology (2020) and a B.Eng. in the same field from Technical University Munich and University of Applied Sciences Landshut (2018), respectively. Research Interests : Model Predictive Control (MPC) with focus on stochastic and robust variants Optimal control strategies for autonomous driving and vertical farming Constraint violation probability minimization in dynamic systems Publications span topics in: Time-optimal MPC for linear systems Stochastic and robust MPC frameworks Learning-based control for greenhouse climate systems Vertical farming optimization Contact: michael.fink@tum.de

• Program Verification
• Program Synthesis
• Concurrency
• +3 more

Roopsha Samanta serves as an Assistant Professor in the Department of Computer Science at Purdue University, where she leads the Purdue Formal Methods (PurForM) research group and participates in the Purdue Programming Languages (PurPL) initiative. Her academic foundation includes a PhD from the University of Texas, Austin (2013) and postdoctoral research at the Institute of Science and Technology Austria prior to joining Purdue in 2016. Education: PhD in Computer Science, University of Texas, Austin (2013) Postdoctoral Researcher, Institute of Science and Technology Austria Professor Samanta's research centers on bridging formal methods with programming languages to enhance software reliability, with core expertise in program verification, program synthesis, and concurrency. Her work uniquely targets both professional developers and non-programmers, developing techniques to ensure programs align with user intent through automated reasoning and synthesis. Recent efforts focus on distributed systems verification where traditional methods face scalability challenges. Analysis of her 2020-2024 publications reveals a dominant trajectory in distributed agreement systems, particularly advancing parameterized verification for unbounded process networks. Key innovations include bounded verification techniques for doubly-unbounded systems, explainable synthesis through specification localization, and secure multi-party computation frameworks like HACCLE. Her work consistently integrates theoretical formal methods with practical system implementation. Scientific Awards: NSF CAREER Award (2019) for “Robustness of Inductive Reasoning Engines” Amazon Research Award (2021) supporting secure computation research Her research is primarily funded through competitive grants including the NSF CAREER award and Amazon Research Award, enabling exploration of verification robustness and secure multi-party computation. While specific advising details aren't publicly documented, her leadership of the PurForM group indicates active mentorship of graduate researchers in formal methods. Current projects suggest expanding applications to privacy-preserving technologies and explainable AI-assisted programming. The PurForM research group, under her direction, develops foundational tools for program verification and synthesis with emphasis on distributed and concurrent systems. Collaborations within PurPL and industry partners like Amazon drive translational research from theoretical models to practical verification frameworks applicable to real-world distributed infrastructure.

Kevin PanView profile

Associate Professor

• Business Analytics
• Data Analytics in Finance
• Data Analytics in Accounting
• +5 more

Kevin Pan is an Associate Professor of Quantitative Analysis at Samford University’s Brock School of Business, where he teaches and researches at the intersection of business analytics, finance, accounting, management, healthcare, education, and Christian faith integration. Education Ph.D. in Biomedical Informatics, Stanford University M.S. in Electrical Engineering, Stanford University B.S. in Electrical Engineering (minor Mathematics), National Taiwan University Research Interests Dr. Pan’s work centers on leveraging data analytics to solve real-world problems in business and society. He explores financial fraud detection, corporate social responsibility, healthcare quality, and the ethical implications of data-driven decision making. A distinctive thread in his scholarship is the integration of Christian worldview with business analytics education and practice. Publication Trends His recent articles (2017-2023) reveal a dual focus: methodological contributions in data visualization and analytics education, and applied studies addressing opioid prescribing, hospital fraud, congregational fraud, and pandemic ethics. The work spans accounting, finance, healthcare, pharmacy, and business ethics journals. Service & Outreach He actively volunteers with Hope Heals , a Christian disability ministry founded by Samford alumni, and participates in local church activities in Birmingham, Alabama.

Silvia BonomiView profile

Associate Professor

• Cybersecurity
• Distributed Systems
• Blockchain
• +8 more

Dr. Silvia Bonomi serves as an Associate Professor in the Department of Computer, Control and Management Engineering at Sapienza University of Rome, where she has held academic positions since 2006. Her career progression includes Research Fellow (2010-2011), Tenure Track Assistant Professor (2016-2019), and current Associate Professor appointment since 2019. She maintains her office in Room B114 and is actively engaged in research and teaching within the university's engineering faculty. Her educational background includes: PhD in Computer Engineering, Sapienza University of Rome and Institut de Formation Supérieure en Informatique et Communication (IFSIC/IRISA), Rennes, France (completed under advisors Prof. Roberto Baldoni and Prof. Michel Raynal) Dr. Bonomi's research critically examines dynamic distributed systems where entities autonomously join and leave networks, with applications spanning VANETs, airborne networks, social networks, and distributed cloud services. She pioneers work in Byzantine fault tolerance for mobile environments, blockchain security with emphasis on smart contract vulnerability analysis, and resilient cybersecurity frameworks integrating human factors. Her investigations into publish-subscribe systems focus on quality-of-service enhancements, while her peer-to-peer systems research addresses fundamental connectivity challenges in large-scale decentralized environments. This interdisciplinary approach bridges theoretical distributed computing with practical cybersecurity applications. Analysis of her 15 most recent publications (2021-2024) reveals dominant trends in blockchain security (particularly smart contract vulnerability taxonomies and analysis tool efficacy) and fault-tolerant distributed systems (reliable communication under Byzantine faults in dynamic networks). Her work increasingly integrates human factors into cybersecurity models and develops visual analytics for business-centric risk assessment. Publications span top venues including IEEE CSR, OPODIS, SAFECOMP, and journals like Computers & Security, demonstrating consistent contributions to both theoretical foundations and practical cybersecurity implementations.

• Business Intelligence
• Cloud Computing
• Software Engineering
• +7 more

Professor Farookh Hussain is a distinguished academic at the School of Computer Science , University of Technology Sydney , specializing in Artificial Intelligence , Cloud Computing , and Software Engineering . His research spans diverse sectors including agriculture, manufacturing, healthcare, and transportation. Affiliated with the Australian Artificial Intelligence Institute (AAII) , he leads impactful work in business intelligence and carbon credit systems. Key research areas: AI applications, blockchain for provenance, carbon credit analytics Active in Masters/PhD supervision and cloud computing education Research Highlights : Developed KACINO framework for carbon dynamics modeling Created hybrid cybersecurity frameworks for supply chain risk management Advanced chatbot dialogue breakdown solutions through systematic reviews Proposed hypercomplex knowledge graph recommenders Published extensively on carbon credit price prediction and blockchain storage methods Contributions to water demand forecasting and collaborative robotics adoption Grant Activities : Secured funding from Hampton Capital Asset Management , Innovation Connections , and Science and Industry Endowment Fund Projects include LLM-driven text-to-SQL conversion , blockchain for melanoma data , and AI for storm water management

• Artificial Intelligence
• Educational Technology
• Business Process Management
• +5 more

Darko Etinger is an Associate Professor and currently serves as the Dean of the Faculty of Informatics at Juraj Dobrila University of Pula in Croatia. His academic career spans over two decades with significant contributions to the fields of information systems, educational technology, and artificial intelligence. He teaches undergraduate courses including Artificial Intelligence, Business Information Systems, Business Process Management, ICT Fundamentals, Information Systems, Introduction to Artificial Intelligence, and Multimedia Systems. At the graduate level, he teaches Development of IT Solutions, IT Management, Modelling and Simulation, and Project Management. He also supervises doctoral research in Management of Information Technologies in Education. Dr. Etinger's research interests span several key areas in computer science and education technology. He has made significant contributions to understanding how information and communication technologies can support children with special educational needs, as evidenced by his 2024 and 2025 books on the topic. His work also focuses on business process management, educational data mining, and the application of artificial intelligence in educational contexts. His 2024 book 'Introduction to R and RStudio' demonstrates his commitment to data science education. Analysis of his recent publications shows a strong focus on practical applications of technology in education and business. His work spans educational robotics, learning management systems analysis, business process modeling, and the application of large language models in healthcare. He has a particular interest in how technology can be made accessible and beneficial for diverse learner populations, including those with special needs. His research often takes a human-centered approach, examining not just the technology itself but how it's adopted and used by end users. His 2025 bibliometric analysis of metaverse security demonstrates his ability to tackle emerging technological challenges. Associate Professor at Faculty of Informatics, Juraj Dobrila University of Pula Current Dean of Faculty of Informatics Author of multiple publications on educational technology and information systems Supervisor for numerous graduate theses on educational technology topics Active participant in EDIH Adria project as evidenced by 2025 publications Researcher in educational robotics implementation in Croatian schools Dr. Etinger has advised numerous students completing their theses, with a focus on educational technology applications. His research has been published in various international conferences and journals including IEEE Engineering Management Review, Procedia Computer Science, and System Dynamics Review. His current research appears to be heavily focused on the EDIH Adria project, which is a European Digital Innovation Hub initiative focusing on technology transfer and business innovation. He maintains an active research program with publications spanning from 2003 to the present, demonstrating sustained scholarly contribution to his fields of expertise.